%0 Conference Paper %1 conf/mkm/DunneWK20 %A Dunne, Ciarán %A Wells, J. B. %A Kamareddine, Fairouz %B CICM %D 2020 %E Benzmüller, Christoph %E Miller, Bruce R. %I Springer %K dblp %P 89-104 %T Adding an Abstraction Barrier to ZF Set Theory. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2020.html#DunneWK20 %V 12236 %@ 978-3-030-53518-6

@inproceedings{conf/mkm/DunneWK20, added-at = {2021-10-14T00:00:00.000+0200}, author = {Dunne, Ciarán and Wells, J. B. and Kamareddine, Fairouz}, biburl = {https://www.bibsonomy.org/bibtex/2659875fc3c3ef843284bad4d258381f6/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2020}, editor = {Benzmüller, Christoph and Miller, Bruce R.}, ee = {https://doi.org/10.1007/978-3-030-53518-6_6}, interhash = {0439af45359717607e85fb97e62d23f3}, intrahash = {659875fc3c3ef843284bad4d258381f6}, isbn = {978-3-030-53518-6}, keywords = {dblp}, pages = {89-104}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T17:52:07.000+0200}, title = {Adding an Abstraction Barrier to ZF Set Theory.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2020.html#DunneWK20}, volume = 12236, year = 2020 }