Optimal reductions in interaction systems
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 485-500
- https://doi.org/10.1007/3-540-56610-4_84
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Higher dimensional word problemPublished by Springer Nature ,2005
- Linear logic without boxesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Penrose diagrams and 2-dimensional rewritingPublished by Cambridge University Press (CUP) ,1992
- 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
- Linear logicTheoretical Computer Science, 1987