Linearizing intuitionistic implication

This publication has 15 references indexed in Scilit:

• Contraction-free sequent calculi for intuitionistic logic
  The Journal of Symbolic Logic, 1992
• Logic Programming with Focusing Proofs in Linear Logic
  Journal of Logic and Computation, 1992
• A game semantics for linear logic
  Annals of Pure and Applied Logic, 1992
• Bounded linear logic: a modular approach to polynomial-time computability
  Theoretical Computer Science, 1992
• The geometry of optimal lambda reduction
  Published by Association for Computing Machinery (ACM) ,1992
• Linear objects: Logical processes with built-in inheritance
  New Generation Computing, 1991
• Accessible categories and models of linear logic
  Journal of Pure and Applied Algebra, 1991
• Logic programming with sequent systems
  Published by Springer Nature ,1991
• Geometry of Interaction 1: Interpretation of System F
  Published by Elsevier ,1989
• Linear logic
  Theoretical Computer Science, 1987