Selected Publications

• 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 volume.

• 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.