## Lawall and Harry G . Mairson . Optimality and ine ciency : what isn ' t a cost model of thelambda calculus ?

- L. Julia
- ACM International Conference on Functional…
- 1996

- Published 1997

Optimal graph reduction technology for the-calculus, as developed by Lamping, with mod-iications by Asperti, Gonthier, Abadi, and L evy, has a well-understood local dynamics based on a standard menagerie of reduction rules, as well as a global context semantics based on Girard's geometry of interaction. However, the global dynamics of graph reduction has… CONTINUE READING

### Presentations referencing similar topics