Paths in the lambda-calculus. Three years of communications without understanding
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 426-436
- https://doi.org/10.1109/lics.1994.316048
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Local and asynchronous beta-reduction (an analysis of Girard's execution formula)Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A new deconstructive logic: linear logicThe Journal of Symbolic Logic, 1997
- The geometry of optimal lambda reductionPublished by Association for Computing Machinery (ACM) ,1992
- An algorithm for optimal lambda calculus reductionPublished by Association for Computing Machinery (ACM) ,1990
- Linear logicTheoretical Computer Science, 1987