Reversible, Irreversible and Optimal λ-machines

This publication has 6 references indexed in Scilit:

• The geometry of interaction machine
  Published by Association for Computing Machinery (ACM) ,1995
• Une équivalence sur les lambda- termes
  Theoretical Computer Science, 1994
• The geometry of optimal lambda reduction
  Published by Association for Computing Machinery (ACM) ,1992
• Geometry of interaction 2: Deadlock-free algorithms
  Lecture Notes in Computer Science, 1990
• The structure of multiplicatives
  Archive for Mathematical Logic, 1989
• Linear logic
  Theoretical Computer Science, 1987