%0 Conference Paper %1 conf/itp/Kuncar016 %A Kuncar, Ondrej %A Popescu, Andrei %B ITP %D 2016 %E Blanchette, Jasmin Christian %E Merz, Stephan %I Springer %K %P 200-218 %T From Types to Sets by Local Type Definitions in Higher-Order Logic. %U http://dblp.uni-trier.de/db/conf/itp/itp2016.html#Kuncar016 %V 9807 %@ 978-3-319-43143-7

@inproceedings{conf/itp/Kuncar016, added-at = {2023-12-13T10:49:39.000+0100}, author = {Kuncar, Ondrej and Popescu, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/2ead9f0418f0eb011bf94b12cbe2438b5/admin}, booktitle = {ITP}, crossref = {conf/itp/2016}, editor = {Blanchette, Jasmin Christian and Merz, Stephan}, ee = {https://doi.org/10.1007/978-3-319-43144-4_13}, interhash = {db4cf695d3aa1cd1cbaf3c11546f94fa}, intrahash = {ead9f0418f0eb011bf94b12cbe2438b5}, isbn = {978-3-319-43143-7}, keywords = {}, pages = {200-218}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T10:49:39.000+0100}, title = {From Types to Sets by Local Type Definitions in Higher-Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2016.html#Kuncar016}, volume = 9807, year = 2016 }