%0 Conference Paper %1 conf/itp/HuffmanU10 %A Huffman, Brian %A Urban, Christian %B ITP %D 2010 %E Kaufmann, Matt %E Paulson, Lawrence C. %I Springer %K dblp %P 35-50 %T A New Foundation for Nominal Isabelle. %U http://dblp.uni-trier.de/db/conf/itp/itp2010.html#HuffmanU10 %V 6172 %@ 978-3-642-14051-8

@inproceedings{conf/itp/HuffmanU10, added-at = {2017-05-21T00:00:00.000+0200}, author = {Huffman, Brian and Urban, Christian}, biburl = {https://www.bibsonomy.org/bibtex/27bfaef7e1ccf70ec1a836f49f6bce3df/dblp}, booktitle = {ITP}, crossref = {conf/itp/2010}, editor = {Kaufmann, Matt and Paulson, Lawrence C.}, ee = {https://doi.org/10.1007/978-3-642-14052-5_5}, interhash = {8e4f6477890c2a37e454c32c9183362a}, intrahash = {7bfaef7e1ccf70ec1a836f49f6bce3df}, isbn = {978-3-642-14051-8}, keywords = {dblp}, pages = {35-50}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:14:30.000+0200}, title = {A New Foundation for Nominal Isabelle.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2010.html#HuffmanU10}, volume = 6172, year = 2010 }