Pierre-Louis Curien. An abstract framework for environment machines (Note). Theoretical Computer Science, 82(2):389--402, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On Explicit Substitutions and Names - Ritter, de Paiva (1997) (3 citations) (Correct)
....the variable names as extra information during reduction so that terms can be printed with names rather than with de Bruijn numbers. 1.4 Iterated Substitutions The fourth choice concerns the need (or not) for composition of substitutions. The precursor of the oe calculus, Curien s ae calculus [5], was designed to capture environment machines and had no notion of iterated substitutions. This is rather restrictive, as nested substitutions arise in several situations: during reduction to normal form rather than weak head normal form, when modelling sharing in environment machines, when ....
Pierre-Louis Curien. An abstract framework for environment machines (Note). Theoretical Computer Science, 82(2):389--402, 1991.
On Explicit Substitutions and Names - Ritter, de Paiva (1997) (3 citations) (Correct)
....the variable names as extra information during reduction so that terms can be printed with names rather than with de Bruijn numbers. 1.4 Iterated Substitutions The fourth choice concerns the need (or not) for composition of substitutions. The precursor of the oe calculus, Curien s ae calculus [Cur91] was designed to capture environment machines and had no notion of iterated substitutions. This is rather restrictive, as nested substitutions arise in several situations: during reduction to normal form rather than weak head normal form, when modelling sharing in environment machines, when ....
Pierre-Louis Curien. An abstract framework for environment machines (Note). Theoretical Computer Science, 82(2):389--402, 1991.
On Explicit Substitutions and Names (Extended Abstract) - Ritter, de Paiva (Correct)
....the variable names as extra information during reduction so that terms can be printed with names rather than with de Bruijn numbers. 1.4 Iterated Substitutions The fourth choice concerns the need (or not) for composition of substitutions. The precursor of the oe calculus, Curien s ae calculus [5], was designed to capture environment machines and had no notion of iterated substitutions. This is rather restrictive, as nested substitutions arise in several situations: during reduction to normal form rather than weak head normal form, when modelling sharing in environment machines, when ....
Pierre-Louis Curien. An abstract framework for environment machines (Note). Theoretical Computer Science, 82(2):389--402, 1991.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC