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