Anne Sjerp Troelstra, Lectures on linear logic, CSLI Lecture Notes, no. 29, Center for the Study of Language and Information, Stanford, CA, 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Higher-Order Quantification and Proof Search - Miller (2002) (2 citations) (Correct)
Cut Elimination for Classical Proofs as Continuation Passing.. - Ichiro Ogata (1998) (1 citation) (Correct)
Logical Aspects of Computational Linguistics: an.. - Blackburn, Dymetman.. (1997) (3 citations) (Correct)
A judgmental analysis of linear logic - Bor-Yuh Evan Chang Self-citation (Linear) (Correct)
A Judgmental Analysis of Linear Logic - Bor-Yuh Evan Chang (2003) (1 citation) Self-citation (Linear) (Correct)
A Judgmental Analysis Of Linear Logic - Bor-Yuh Evan Chang (2003) (1 citation) Self-citation (Linear) (Correct)
A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (1 citation) Self-citation (Linear) (Correct)
A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (1 citation) Self-citation (Linear) (Correct)
Temporal Linear Logic and Its Applications - Hirai (2000) Self-citation (Linear) (Correct)
A Judgmental Analysis of Linear Logic - Chang, Chaudhuri, Pfenning (2003) (1 citation) Self-citation (Linear) (Correct)
Lógica Linear E a Especificação De Sistemas .. - Pimentel (2001) Self-citation (Linear) (Correct)
Temporal Linear Logic and Its Applications - Hirai (2000) Self-citation (Linear) (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