%0 Conference Paper %1 conf/tphol/Huffman09 %A Huffman, Brian %B TPHOLs %D 2009 %E Berghofer, Stefan %E Nipkow, Tobias %E Urban, Christian %E Wenzel, Makarius %I Springer %K dblp %P 260-275 %T A Purely Definitional Universal Domain. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2009.html#Huffman09 %V 5674 %@ 978-3-642-03358-2

@inproceedings{conf/tphol/Huffman09, added-at = {2017-05-23T00:00:00.000+0200}, author = {Huffman, Brian}, biburl = {https://www.bibsonomy.org/bibtex/2edc703308f9895c200ed83bf362e85c2/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2009}, editor = {Berghofer, Stefan and Nipkow, Tobias and Urban, Christian and Wenzel, Makarius}, ee = {https://doi.org/10.1007/978-3-642-03359-9_19}, interhash = {8a7cf9d45416a340b1de94e4f40ca0e8}, intrahash = {edc703308f9895c200ed83bf362e85c2}, isbn = {978-3-642-03358-2}, keywords = {dblp}, pages = {260-275}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:26:27.000+0200}, title = {A Purely Definitional Universal Domain.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2009.html#Huffman09}, volume = 5674, year = 2009 }