- Decidability of the Tensor-Bang Fragment
of Linear Logic, Chirimar, Lipton, in Proc. csl93.
- Cut Elimination in the Intuitionistic
Theory of Types with Axioms and Rewriting Cuts, Constructively
(2007) with Olivier Hermant, Published in Andrews Festschrift
- New Foundations of Declarative
Programming Finkelstein, Freyd, Lipton, published in TCS,
2003, revised 2016.
- On the Algebraic Structure of
Declarative Programming Languages, Amato, Lipton, McGrail,
published in TCS, 2009.
Last modified: Wed Dec 28 20:50:42 EST 2016