Toward a general theory of names: binding and scope

@inproceedings{citeulike:359771, address = {New York, NY, USA}, author = {Cheney, James }, booktitle = {MERLIN '05: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding}, citeulike-article-id = {359771}, doi = {http://dx.doi.org/10.1145/1088454.1088459}, isbn = {1595930728}, keywords = {naming, substitution}, pages = {33--40}, posted-at = {2005-10-21 12:31:48}, priority = {2}, publisher = {ACM Press}, title = {Toward a general theory of names: binding and scope}, url = {http://dx.doi.org/10.1145/1088454.1088459}, year = {2005} }

TY - CONF ID - citeulike:359771 L3 - citeulike-article-id:359771 TI - Toward a general theory of names: binding and scope T2 - MERLIN '05: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding SP - 33 EP - 40 AD - New York, NY, USA PB - ACM Press SN - 1595930728 KW - naming KW - substitution AU - Cheney, James PY - 2005/// UR - http://dx.doi.org/10.1145/1088454.1088459 ER -