A term calculus for Intuitionistic Linear Logic

This publication has 6 references indexed in Scilit:

• Linear logic and interference control
  Published by Springer Nature ,2005
• Operational aspects of linear lambda calculus
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A term calculus for Intuitionistic Linear Logic
  Published by Springer Nature ,1993
• Bounded linear logic: a modular approach to polynomial-time computability
  Theoretical Computer Science, 1992
• Linear logic
  Theoretical Computer Science, 1987
• A natural extension of natural deduction
  The Journal of Symbolic Logic, 1984