A Token Machine for Full Geometry of Interaction (Extended Abstract)
- 25 April 2001
- book chapter
- Published by Springer Nature
- p. 283-297
- https://doi.org/10.1007/3-540-45413-6_23
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Game semantics and abstract machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A parallel implementation for optimal lambda-calculus reductionPublished by Association for Computing Machinery (ACM) ,2000
- Reversible, Irreversible and Optimal λ-machinesElectronic Notes in Theoretical Computer Science, 1996
- The bologna optimal higher-order machineJournal of Functional Programming, 1996
- Geometry of interaction III: accommodating the additivesPublished by Cambridge University Press (CUP) ,1995
- The geometry of interaction machinePublished by Association for Computing Machinery (ACM) ,1995
- The geometry of optimal lambda reductionPublished by Association for Computing Machinery (ACM) ,1992