Explicit Substitutions Export

@inproceedings{citeulike:133546, abstract = {The \#\#-calculus is a re\#nement of the \#-calculus where substitutions are manipulated explicitly. The \#\#-calculus provides a setting for studying the theory of substitutions, with pleasant mathematical properties. It is also a useful bridge between the classical \#-calculus and concrete implementations. \# Digital Equipment Corporation, Systems Research Center. y Ecole Normale Sup\#erieure; part of this work was completed while at Digital Equipment Corporation, Systems Research Center. z...}, author = {Abadi, Mart\'\in and Cardelli, Luca and Curien, Pierre-Louis and L\`evy, Jean-Jacques}, booktitle = {Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California}, citeulike-article-id = {133546}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.9903}, keywords = {explicit-substitutions, lambda-calculus}, pages = {31--46}, posted-at = {2005-03-28 04:40:30}, priority = {2}, publisher = {ACM}, title = {Explicit Substitutions}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.9903}, year = {1990} }

TY - CONF ID - citeulike:133546 L3 - citeulike-article-id:133546 N2 - The ##-calculus is a re#nement of the #-calculus where substitutions are manipulated explicitly. The ##-calculus provides a setting for studying the theory of substitutions, with pleasant mathematical properties. It is also a useful bridge between the classical #-calculus and concrete implementations. # Digital Equipment Corporation, Systems Research Center. y Ecole Normale Sup#erieure; part of this work was completed while at Digital Equipment Corporation, Systems Research Center. z... EP - 46 TI - Explicit Substitutions PB - ACM T2 - Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California SP - 31 KW - explicit-substitutions KW - lambda-calculus AU - Abadi, Mart\'\in AU - Cardelli, Luca AU - Curien, Pierre-Louis AU - L\`evy, Jean-Jacques PY - 1990/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.9903 ER -