Paths, computations and labels in the λ-calculus
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 152-167
- https://doi.org/10.1007/3-540-56868-9_13
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Optimal reductions in interaction systemsPublished by Springer Nature ,1993
- The geometry of optimal lambda reductionPublished by Association for Computing Machinery (ACM) ,1992
- Interaction netsPublished by Association for Computing Machinery (ACM) ,1990
- On laziness and optimality in lambda interpreters: tools for specification and analysisPublished by Association for Computing Machinery (ACM) ,1990
- An algorithm for optimal lambda calculus reductionPublished by Association for Computing Machinery (ACM) ,1990