Olli (here is the original implementation tar file)

Linearity Constraints as Bounded Intervals in Linear Logic Programming

Jeff Polakow.

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.

Barcelona, Spain, March 2004.

A Formalization of an Ordered Logical Framework in Hybrid with Applications to Continuation Machines

A. Momigliano and Jeff Polakow.

Uppsala, Sweden, August 2003.

Edinburgh, Scotland, September 2002.

Proving Syntactic Properties of Exceptions in an Ordered Logical Framework

Jeff Polakow and Kwangkeun Yi.

Tokyo, Japan, March 2001.

Linear Logic Programming with an Ordered Context

Jeff Polakow.

Montreal, Canada, September 2000.

Properties of Terms in Continuation-Passing Style in an Ordered Logical Framework

Jeff Polakow and Frank Pfenning.

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.

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.

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