On Explicit Substitutions and Names Export

@techreport{citeulike:401355, abstract = {Calculi with explicit substitutions have found widespread acceptance as a basis for abstract machines for functional languages. In this paper we investigate the relations between variants with de Bruijn-numbers, with variable names, with reduction based on raw expressions and calculi with equational judgements. We show the equivalence between these variants, which is crucial in establishing the correspondence between the semantics of the calculus and its implementations. 1 Introduction...}, author = {Ritter, Eike and de Paiva, Valeria}, citeulike-article-id = {401355}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/ritter97explicit.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/ritter97explicit.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/ritter97explicit.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/ritter97explicit.html}, keywords = {explicit-subs, logic}, month = {March}, number = {CSR-97-5}, posted-at = {2005-11-19 16:47:30}, priority = {0}, title = {On Explicit Substitutions and Names}, url = {http://citeseer.ist.psu.edu/ritter97explicit.html}, year = {1997} }

TY - RPRT ID - citeulike:401355 L3 - citeulike-article-id:401355 N2 - Calculi with explicit substitutions have found widespread acceptance as a basis for abstract machines for functional languages. In this paper we investigate the relations between variants with de Bruijn-numbers, with variable names, with reduction based on raw expressions and calculi with equational judgements. We show the equivalence between these variants, which is crucial in establishing the correspondence between the semantics of the calculus and its implementations. 1 Introduction... IS - CSR-97-5 TI - On Explicit Substitutions and Names KW - explicit-subs KW - logic AU - Ritter, Eike AU - de Paiva, Valeria PY - 1997/March// UR - http://citeseer.ist.psu.edu/ritter97explicit.html ER -