Interaction Combinators
- 1 August 1997
- journal article
- Published by Elsevier in Information and Computation
- Vol. 137 (1) , 69-101
- https://doi.org/10.1006/inco.1997.2643
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Linear logic without boxesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- 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
- Geometry of Interaction 1: Interpretation of System FPublished by Elsevier ,1989
- Connection graphsPublished by Association for Computing Machinery (ACM) ,1986