
15816 Linear Logic

[LMSS92] 
Patrick Lincoln, John Mitchell, Andre Scedrov, and Natarajan Shankar. Decision Problems for Propositional Linear Logic. Annals of Pure and Applied Logic, 56:239311, 1992. 
[AP91] 
JeanMarc Andreoli and Remo Pareschi. Linear Objects: Logical Processes with BuiltIn Inheritance. New Generation Computing, 9:445473, 1991. Not available electronically. 
[HP01] 
James Harland and David Pym. ResourceDistribution via Boolean Constraints. Draft paper, August 2001. An earlier version appeared in: Proceedings of the 14th International Conference on Automated Deduction (CADE14), W. McCune, editor, pp. 222236, SpringerVerlag LNAI 1249, Townsville, Australia, July 1997. 
[CHP00] 
Iliano Cervesato, Joshua S. Hodas and Frank Pfenning. Efficient Resource Management for Linear Logic Proof Search Theoretical Computer Science, 232:133163, 2000. 
[Hof] 
Martin Hofmann. Safe Recursion with Higher Types and BCKAlgebra Annals of Pure and Applied Logic, to appear. Revised and abridged version of the habilitation thesis Type Systems For PolynomialTime Computation, Technical University Darmstadt. Available as Technical Report ECSLFCS99406, University of Edinburgh, 1999. 
[PP99] 
Jeff Polakow and Frank Pfenning. Relating Natural Deduction and Sequent Calculus for Intuitionistic NonCommutative Linear Logic. Proceedings of the 15th Conference on Mathematical Foundations of Programming Semantics, A. Scedrov and A. Jung, editors, New Orleans, Louisiana, April 1999. Available in Electronic Notes in Theoretical Computer Science, Vol. 20. 
[ Home  Schedule  Assignments  Handouts  Software  Resources ]
fp@cs
Frank Pfenning