Stacy E. Finkelstein

Publication Activity (10 Years)

Years Active: 1994-2004
Publications (10 Years): 0

Publications

Stacy E. Finkelstein, Peter J. Freyd, James Lipton
Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160]. Theor. Comput. Sci. 311 (1-3) (2004)
Stacy E. Finkelstein, Peter J. Freyd, James Lipton
A new framework for declarative programming. Theor. Comput. Sci. 300 (1-3) (2003)
James Lipton, Stacy E. Finkelstein, Peter J. Freyd
A New Framework for Declarative Programming: Categorial Perspectives. ELP (1996)
Stacy E. Finkelstein, Peter J. Freyd, James Lipton
Logic Programming in Tau Categories. CSL (1994)