Comparing λ-calculus translations in sharing graphs

This publication has 6 references indexed in Scilit:

• Linear logic without boxes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Paths in the lambda-calculus. Three years of communications without understanding
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Optimal reductions in interaction systems
  Published by Springer Nature ,1993
• The geometry of optimal lambda reduction
  Published by Association for Computing Machinery (ACM) ,1992
• An algorithm for optimal lambda calculus reduction
  Published by Association for Computing Machinery (ACM) ,1990
• Linear logic
  Theoretical Computer Science, 1987