Games and full Completeness for multiplicative Linear Logic

This publication has 15 references indexed in Scilit:

• Algebraic types in PER models
  Published by Springer Nature ,2006
• A game semantics for linear logic
  Annals of Pure and Applied Logic, 1992
• A new constructive logic: classic logic
  Mathematical Structures in Computer Science, 1991
• *-Autonomous categories and linear logic
  Mathematical Structures in Computer Science, 1991
• Functorial polymorphism
  Theoretical Computer Science, 1990
• Linear logic, *-autonomous categories and cofree coalgebras
  Published by American Mathematical Society (AMS) ,1989
• Towards a geometry of interaction
  Contemporary Mathematics, 1989
• Linear logic
  Theoretical Computer Science, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• LCF considered as a programming language
  Theoretical Computer Science, 1977