Linearizing intuitionistic implication
Authors:
- Patrick LincolnPLPatrick Lincoln
- Andre ScedrovASAndre Scedrov
- Natarajan ShankarNSNatarajan Shankar
- 13 April 1993
- journal article
- research article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 60 (2) , 151-177
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Contraction-free sequent calculi for intuitionistic logicThe Journal of Symbolic Logic, 1992
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992
- A game semantics for linear logicAnnals of Pure and Applied Logic, 1992
- Bounded linear logic: a modular approach to polynomial-time computabilityTheoretical Computer Science, 1992
- The geometry of optimal lambda reduction1992
- Linear objects: Logical processes with built-in inheritanceNew Generation Computing, 1991
- Accessible categories and models of linear logicJournal of Pure and Applied Algebra, 1991
- Logic programming with sequent systems1991
- Geometry of Interaction 1: Interpretation of System F1989
- Linear logicTheoretical Computer Science, 1987