A concrete framework for environment machines


We materialize the common understanding that calculi with explicit substitutions provide an intermediate step between an abstract specification of substitution in the lambda-calculus and its concrete implementations. To this end, we go back to Curien's original calculus of closures (an early calculus with explicit substitutions), we extend it minimally so… (More)
DOI: 10.1145/1297658.1297664


1 Figure or Table


Citations per Year

70 Citations

Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Biernacka2007ACF, title={A concrete framework for environment machines}, author={Malgorzata Biernacka and Olivier Danvy}, journal={ACM Trans. Comput. Log.}, year={2007}, volume={9}, pages={6} }