Interaction systems

This publication has 5 references indexed in Scilit:

• The family relation in Interaction Systems
  Published by Springer Nature ,1994
• Optimal reductions in interaction systems
  Published by Springer Nature ,1993
• Interaction nets
  Published by Association for Computing Machinery (ACM) ,1990
• An algorithm for optimal lambda calculus reduction
  Published by Association for Computing Machinery (ACM) ,1990
• Linear logic
  Theoretical Computer Science, 1987