----------------- Decision Problems -------------- @article( LMSS92, Author="Lincoln, P. and Mitchell, J. and Scedrov, A. and Shankar, N.", Title="Decision Problems for Propositional Linear Logic", Journal="Annals Pure Appl. Logic", Volume="56", Year="1992", pages="239-311", Note="{Special Volume dedicated to the memory of John Myhill}") @article( LW94, Author="Lincoln, P. and T. Winkler", Title="{Constant-Only Multiplicative Linear Logic is NP-Complete}", Journal="Theoretical Computer Science", Publisher="Elsevier", Month="December", Year="1994", Volume="135", Number="1", Pages="155-169", Note="Available using anonymous ftp from host ftp.csl.sri.com and the file pub/lincoln/comult-npc.dvi") @article( LSc94, Author="Lincoln, P. and A. Scedrov", Title="First Order Linear Logic Without Modalities is {NEXPTIME}-Hard", Journal="Theoretical Computer Science", Year="1994", Volume="135", Number="1", Pages="139-154", Note="Available using anonymous ftp from host ftp.cis.upenn.edu and the file pub/papers/scedrov/mall1.dvi.Z") @misc( LafSce95,Author="Lafont, Y. and A. Scedrov", Title="Undecidability of second order multiplicative linear logic", HowPublished="Manuscript", Year="1995", Note={Available by anonymous ftp from ftp.cis.upenn.edu as pub/papers/scedrov/mrs.[dvi,ps].Z. See pub/papers/TableOfContents}) ----------------- Computational Interpretation -------------- @article( Abramsky90a, Author="Abramsky, S.", Title="Computational Interpretations of Linear Logic", Journal="Theoretical Computer Science", Volume="111", Year="1993", Pages="3-57") @inproceedings( Cambridge92, Author="Benton, N. and G. Bierman and V. de Paiva and J.M.E. Hyland", Title="Linear lambda-calculus and categorical models revisited", Booktitle="{Computer Science Logic '92, Selected Papers}", Editors="E. Boerger et al.", Publisher="{Springer LNCS, vol. 702}", Pages="61-84", Year="1993") @article( BLL, Author="Girard, J.-Y. and A. Scedrov and P.J. Scott", Title="Bounded Linear Logic: A Modular Approach to Polynomial Time Computability", Journal="Theoretical Computer Science", Volume="97", Year="1992", Pages="1-66") @misc( LLL,Author="Girard, J.-Y.", Title="Light linear logic", HowPublished="Manuscript", Year="1995", Note="{Available by anonymous ftp from lmd.univ-mrs.fr as /pub/girard/LLL.ps.Z}") ----------------- Games -------------- @article( Blass92,Author="Blass, A.", Title="A game semantics for linear logic", Journal="Annals Pure Appl. Logic", Volume="56", Year="1992", pages="183-220", Note="{Special Volume dedicated to the memory of John Myhill}") @article( AbrJag92b,Author="Abramsky, S. and R. Jagadeesan", Title="Games and full completeness for multiplicative linear logic", Journal="Journal of Symbolic Logic", Volume="59", Year="1994", Pages="543-574", Note="{Draft available using anonymous ftp from the host theory.doc.ic.ac.uk and the file theory/papers/Abramsky/gfc.dvi}") Hyland and Ong, Fair Games ... (Blass bib...) @misc(HyOn93, Author="Hyland, J.M.E. and L. Ong", Title="{Dialogue games and innocent strategies: an approach to intensional full abstraction for PCF}", Howpublished="Manuscript", Month="July", Year="1993") @misc(AbrJagMal93, Author="Abramsky, S. and R. Jagadeesan and P. Malacaria", Title="{Games and full abstraction for PCF}", Howpublished="Manuscript", Month="July", Year="1993") @inproceedings(lamarche92, Author="Lamarche, F.", Title="Sequentiality, games and linear logic (Announcement)", Booktitle="Workshop on Categorical Logic in Computer Science", Publisher = "Publications of the Computer Science Department of Aarhus University, DAIMI PB-397-II}", Year="1992", Note="{Full paper available by anonymous ftp from theory.doc.ic.ac.uk as theory/papers/Lamarche/LinGamSeq.[dvi,ps]}") ----------------- Concurrency -------------- @techreport(Miller92, Author="Miller, D.", Title="The $\pi$-calculus as a theory in linear logic: Preliminary results", Month="June", Year="1992", Institution="Computer Science Department, University of Pennsylvania", Number="MS-CIS-92-48", Note="Submitted. Available using anonymous ftp from host ftp.cis.upenn.edu and the file pub/papers/miller/pic.dvi.Z.") @misc( SaraswatLincoln,Author="Saraswat, V. and P. Lincoln", Title="Higher-Order, Linear, Concurrent Constraint Programming", Howpublished="Manuscript", Month="August", Year="1992") ----------------- Logic programming -------------- @inproceedings( MillerHodas, Author = "Hodas, J.S. and D. Miller", Title = "Logic Programming in a Fragment of Intuitionistic Linear Logic", Booktitle = "{Proc. 6-th Annual IEEE Symposium on Logic in Computer Science, Amsterdam}", Month="July", Year = "1991", Pages = "32-42", Publisher = "{IEEE Computer Society Press, Los Alamitos, California}", Note="{Full paper to appear in {\it Information and Computation}. Draft available using anonymous ftp from host ftp.cis.upenn.edu and the file pub/papers/miller/ic92.dvi.Z.}") @inproceedings( AndreoliPareschi90,Author="Andreoli, J.-M. and R. Pareschi", Title="Logic programming with sequent systems: a linear logic approach", Booktitle="Proc. Workshop on Extensions of Logic Programming, Tuebingen", Year="1990", Publisher="Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin") @Article(Andreoli92jlc, Author = "Jean-Marc Andreoli", Title = "Logic Programming with Focusing Proofs in Linear Logic", Journal = "Journal of Logic and Computation", Volume = "2", Number = "3", Page = "297--347", Year = "1992") @inproceedings(LSh93, Author="Lincoln, P. and N. Shankar", Title="Proof Search in First Order Linear Logic and Other Cut Free Sequent Calculi", Booktitle="{Proc. 9-th Annual IEEE Symposium on Logic in Computer Science, Paris}", Month="July", Year="1994", Pages="282-291") ----------------- Foundations -------------- @article( LC,Author="Girard, J.-Y.", Title="A new constructive logic: classical logic", Journal="Mathematical Structures in Computer Science", Volume="1", Year="1991", pages="255-296") @article( LU,Author="Girard, J.-Y.", Title="On the unity of logic", Journal="Annals of Pure and Applied Logic", Volume="59", Year="1993", pages="201-217") @misc( GirardFix,Author="Girard, J.-Y.", Title="A fixpoint theorem in linear logic", HowPublished="{Announcement on `Linear' electronic forum }", Month="February", Year="1992") ----------------- Semantics -------------- Ehrard, Curien's book, second edition