A taste of linear logic

This publication has 10 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• A syntax for linear logic
  Published by Springer Nature ,1994
• Tutorial on Linear Logic
  Published by Oxford University Press (OUP) ,1993
• A typed foundation for directional logic programming
  Published by Springer Nature ,1993
• A term calculus for Intuitionistic Linear Logic
  Published by Springer Nature ,1993
• 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
• Three approaches to type structure
  Published by Springer Nature ,1985
• Towards a theory of type structure
  Lecture Notes in Computer Science, 1974