%0 Conference Paper %1 conf/esop/UrbanK11 %A Urban, Christian %A Kaliszyk, Cezary %B ESOP %D 2011 %E Barthe, Gilles %I Springer %K dblp %P 480-500 %T General Bindings and Alpha-Equivalence in Nominal Isabelle. %U http://dblp.uni-trier.de/db/conf/esop/esop2011.html#UrbanK11 %V 6602 %@ 978-3-642-19717-8

@inproceedings{conf/esop/UrbanK11, added-at = {2022-03-16T00:00:00.000+0100}, author = {Urban, Christian and Kaliszyk, Cezary}, biburl = {https://www.bibsonomy.org/bibtex/2f5aa0020102f8b0652c411060af23b4b/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2011}, editor = {Barthe, Gilles}, ee = {https://www.wikidata.org/entity/Q108482189}, interhash = {c671f68d9d3947a73cdb3d2c00f45ca5}, intrahash = {f5aa0020102f8b0652c411060af23b4b}, isbn = {978-3-642-19717-8}, keywords = {dblp}, pages = {480-500}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:33:56.000+0200}, title = {General Bindings and Alpha-Equivalence in Nominal Isabelle.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2011.html#UrbanK11}, volume = 6602, year = 2011 }