The family relation in Interaction Systems
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Paths, computations and labels in the λ-calculusPublished by Springer Nature ,1993
- Optimal reductions in interaction systemsPublished by Springer Nature ,1993
- Optimal derivations in weak lambda-calculi and in orthogonal term rewriting systemsPublished by Association for Computing Machinery (ACM) ,1991
- Interaction netsPublished by Association for Computing Machinery (ACM) ,1990
- An algorithm for optimal lambda calculus reductionPublished by Association for Computing Machinery (ACM) ,1990