A syntax for linear logic

This publication has 8 references indexed in Scilit:

• A typed pattern calculus
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Tutorial on Linear Logic
  Published by Oxford University Press (OUP) ,1993
• A term calculus for Intuitionistic Linear Logic
  Published by Springer Nature ,1993
• Inheritance as implicit coercion
  Information and Computation, 1991
• Linear logic, *-autonomous categories and cofree coalgebras
  Published by American Mathematical Society (AMS) ,1989
• The linear abstract machine
  Theoretical Computer Science, 1988
• Linear logic
  Theoretical Computer Science, 1987
• *-Autonomous Categories
  Published by Springer Nature ,1979