Explicit Substitutions Export

@inproceedings{curien, abstract = {The oe-calculus is a refinement of the -calculus where substitutions are manipulated explicitly. The oe-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 INRIA...}, author = {Abadi, Mart\'{\i}n and Cardelli, Luca and Curien, Pierre-Louis and L\`{e}vy, Jean J.}, booktitle = {Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California}, citeulike-article-id = {1044107}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.9785}, keywords = {alpha\_conversion, category\_theory, lambda\_calculus, names}, pages = {31--46}, posted-at = {2007-01-16 07:14:45}, priority = {3}, publisher = {ACM}, title = {Explicit Substitutions}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.9785}, year = {1990} }

TY - CONF ID - curien L3 - citeulike-article-id:1044107 N2 - The oe-calculus is a refinement of the -calculus where substitutions are manipulated explicitly. The oe-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 INRIA... 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 - alpha_conversion KW - category_theory KW - lambda_calculus KW - names AU - Abadi, Martín AU - Cardelli, Luca AU - Curien, Pierre-Louis AU - Lèvy, Jean PY - 1990/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.9785 ER -