dissertation.dvi dissertation.ps
Olli (here is the original implementation tar file)

Linearity Constraints as Bounded Intervals in Linear Logic Programming
Jeff Polakow.
Proceedings of the Workshop on Logics for Resources, Processes, and Programs (LRPP 04)
Turku, Finland, July 2004.

System E: Expansion variables for flexible typing with linear and non-linear types and intersection types
Sebastien Carlier, Jeff Polakow, J. B. Wells, and A. J. Kfoury.
Proceedings of the 13th European Symposium on Programming (ESOP'04)
Barcelona, Spain, March 2004.

A Formalization of an Ordered Logical Framework in Hybrid with Applications to Continuation Machines
A. Momigliano and Jeff Polakow.
Proceedings of 2nd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (MERLIN).
Uppsala, Sweden, August 2003.

A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming
Joshua Hodas, Pablo Lopez, Jeffrey Polakow, Lubomira Stoilova and Ernesto Pimentel.
Annual Conference of the European Association for Computer Science Logic (CSL 2002),
Edinburgh, Scotland, September 2002.

Proving Syntactic Properties of Exceptions in an Ordered Logical Framework
Jeff Polakow and Kwangkeun Yi.
The Fifth International Symposium on Functional and Logic Programming (FLOPS 2001),
Tokyo, Japan, March 2001.

Linear Logic Programming with an Ordered Context
Jeff Polakow.
2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000),
Montreal, Canada, September 2000.

Properties of Terms in Continuation-Passing Style in an Ordered Logical Framework
Jeff Polakow and Frank Pfenning.
Workshop on Logical Frameworks and Meta-Languages (LFM 2000),
Santa Barbara, California, June 2000.
Here is a cleaner version with some bugs fixed.

Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic
Jeff Polakow and Frank Pfenning.
15th Conference on Mathematical Foundations of Programming Semantics (MFPS XV),
New Orleans, Louisiana, April 1999.
Electronic Notes in Theoretical Computer Science, Vol. 20

Natural Deduction for Intuitionistic Non-Commutative Linear Logic
Jeff Polakow and Frank Pfenning.
4th International Conference on Typed Lambda Calculi and Applications (TLCA'99),
pp. 295-309, L'Aquila, Italy, April 1999.

Ordered Linear Logic Programming
Jeff Polakow and Frank Pfenning.
CMU CS Technical Report, December 1998

Forum as a Logic Programming Language: Preliminary Report
Joshua S. Hodas and Jeff Polakow.
Linear Logic '96
Keio University, Tokyo, 1996.
Electronic Notes in Theoretical Computer Science, Vol. 3