A.S. Troelstra. Lectures on Linear Logic. CSLI Lecture Notes No. 29. Center for the Study of Language and Information, Stanford University, 1992.  Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Proof Search Issues In Some Non-Classical Logics - Howe (1998) (17 citations) (Correct)
Denotational Semantics for Asynchronous Concurrent Languages - Nyström (1996) (Correct)
Termination - As The Example (Correct)
For the Completness Direction We Need to Generalize the.. - Theorem Completeness Of (Correct)
Logical Semantics for the Rewriting Calculus - Stump, Schürmann (2004) (Correct)
If ; ; =) A + then ; =) A. - If Then Proof (Correct)
For the Completness Direction We Need to Generalize the.. - Theorem Completeness Of (Correct)
Termination - As The Example (Correct)
Simple Consequence Relations - Avron (1991) (60 citations) (Correct)
Decision Problems for Second-Order Linear Logic - Lincoln, Scedrov, Shankar (1995) (6 citations) Self-citation (Linear) (Correct)
First Order Linear Logic without Modalities is NEXPTIME-Hard - Lincoln, Scedrov (1994) (9 citations) Self-citation (Linear) (Correct)
Unknown - Linear Logic Programming Self-citation (Linear) (Correct)
Unknown - Linear Type Theory Self-citation (Linear) (Correct)
Unknown - Linear Calculus In Self-citation (Linear) (Correct)
Unknown - Sequent Calculus In Self-citation (Linear) (Correct)
Unknown - Linear Logic Programming Self-citation (Linear) (Correct)
Unknown - Linear Type Theory Self-citation (Linear) (Correct)
Unknown - Linear Natural Deduction Self-citation (Linear) (Correct)
Unknown - Linear Calculus In Self-citation (Linear) (Correct)
Unknown - Proof Search Linear Self-citation (Linear) (Correct)
Unknown - Sequent Calculus In Self-citation (Linear) (Correct)
Unknown - Sequent Calculus In Self-citation (Linear) (Correct)
Linear Type Checking - The Typing Rules Self-citation (Linear) (Correct)
Proof Nets with Explicit Negation for Multiplicative Linear Logic - Puite (1998) Self-citation (Linear) (Correct)
A Static Analysis of a Classical Linear Logic Programming Language - Kang Self-citation (Linear) (Correct)
First 50 documents Next 50
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