Logic Programming in Tau Categories. - Stacy E. Finkelstein; Peter J. Freyd; James Lipton (CSL, 1994)

A New Framework for Declarative Programming: Categorial Perspectives. - James Lipton; Stacy E. Finkelstein; Peter J. Freyd (ELP, 1996)

A new framework for declarative programming. - Stacy E. Finkelstein; Peter J. Freyd; James Lipton (Theor. Comput. Sci., 2003)

Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160]. - Stacy E. Finkelstein; Peter J. Freyd; James Lipton (Theor. Comput. Sci., 2004)