Martin Hyland and Valeria de Paiva, Full intuitionistic linear logic, Annals of Pure and Applied Logic 64 (1993), no. 3, 273--291. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (1 citation) (Correct)
Proof Search Issues In Some Non-Classical Logics - Howe (1998) (17 citations) (Correct)
Proofs, concurrent objects and computations in a FILL framework - Galmiche, Boudinet (1995) (Correct)
A Specification Logic for Concurrent Object-Oriented.. - Delzanno, Galmiche.. (1999) (Correct)
Labelled Deduction - Basin, D'Agostino, Gabbay, Matthews, .. (2000) (1 citation) (Correct)
Type Theories for Autonomous and *-Autonomous Categories: I.. - Koh, Ong (1998) (Correct)
Linearly Distributive Functors - Cockett, Seely (1997) (1 citation) (Correct)
Introduction to Linear Bicategories - Cockett, al. (1999) (Correct)
Substructural Logics on Display - Goré (1998) (5 citations) (Correct)
A Classical Linear λ-calculus - Bierman (1997) (Correct)
A judgmental analysis of linear logic - Bor-Yuh Evan Chang (Correct)
A Judgmental Analysis of Linear Logic - Bor-Yuh Evan Chang (2003) (1 citation) (Correct)
A Judgmental Analysis Of Linear Logic - Bor-Yuh Evan Chang (2003) (1 citation) (Correct)
On the Axiomatisation of Boolean Categories with and without.. - Straßburger (2005) (Correct)
From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2005) (Correct)
A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (1 citation) (Correct)
A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (1 citation) (Correct)
A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (1 citation) (Correct)
A Parigot-style Linear lambda-Calculus for Full.. - de Paiva, Ritter (2003) Self-citation (De paiva) (Correct)
Lineales: Algebraic Models of Linear Logic from a Categorical.. - de Paiva Self-citation (De paiva) (Correct)
Cut-Elimination for Full Intuitionistic Linear Logic - Braüner, de Paiva Self-citation (De paiva) (Correct)
Linear lambda-Calculus and Categorical Models Revisited - Benton, Bierman, de Paiva, .. (1992) (12 citations) Self-citation (Hyland De paiva) (Correct)
Cut-Elimination for Full Intuitionistic Linear Logic - Braüner, de Paiva (1996) Self-citation (De paiva) (Correct)
A Formulation of Linear Logic Based on Dependency-Relations - Braüner, de Paiva (1997) (6 citations) Self-citation (De paiva) (Correct)
Term Assignment for Intuitionistic Linear Logic.. - Benton, Bierman, de.. (1992) (1 citation) Self-citation (Hyland De paiva) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC