%0 Conference Paper %1 conf/dms/Chapman13 %A Chapman, Peter %B DMS %D 2013 %I Knowledge Systems Institute %K dblp %P 188-193 %T A Locally Nameless Visual Lambda-calculus. %U http://dblp.uni-trier.de/db/conf/dms/dms2013.html#Chapman13 %@ 1-891706-34-9

@inproceedings{conf/dms/Chapman13, added-at = {2014-01-26T00:00:00.000+0100}, author = {Chapman, Peter}, biburl = {https://www.bibsonomy.org/bibtex/25d510757399d9a8c273aad25276d5c99/dblp}, booktitle = {DMS}, crossref = {conf/dms/2013}, interhash = {ce8977479f654a573d196dfa971a2fef}, intrahash = {5d510757399d9a8c273aad25276d5c99}, isbn = {1-891706-34-9}, keywords = {dblp}, pages = {188-193}, publisher = {Knowledge Systems Institute}, timestamp = {2014-01-28T11:38:08.000+0100}, title = {A Locally Nameless Visual Lambda-calculus.}, url = {http://dblp.uni-trier.de/db/conf/dms/dms2013.html#Chapman13}, year = 2013 }