δο!∈=1 Optimizing optimal λ-calculus implementations
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 102-116
- https://doi.org/10.1007/3-540-59200-8_51
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Linear logic without boxesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Paths in the lambda-calculus. Three years of communications without understandingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Comparing λ-calculus translations in sharing graphsPublished by Springer Nature ,1995
- Interaction Systems I: The theory of optimal reductionsMathematical Structures in Computer Science, 1994
- Paths, computations and labels in the λ-calculusPublished by Springer Nature ,1993
- 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
- An algorithm for optimal lambda calculus reductionPublished by Association for Computing Machinery (ACM) ,1990
- Linear logicTheoretical Computer Science, 1987