| |
| 2004 | ||
|---|---|---|
| 4 | EE | 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): 527 (2004) |
| 2003 | ||
| 3 | EE | Stacy E. Finkelstein, Peter J. Freyd, James Lipton: A new framework for declarative programming. Theor. Comput. Sci. 300(1-3): 91-160 (2003) |
| 1996 | ||
| 2 | James Lipton, Stacy E. Finkelstein, Peter J. Freyd: A New Framework for Declarative Programming: Categorial Perspectives. ELP 1996: 209-211 | |
| 1994 | ||
| 1 | Stacy E. Finkelstein, Peter J. Freyd, James Lipton: Logic Programming in Tau Categories. CSL 1994: 249-263 | |
| 1 | Peter J. Freyd | [1] [2] [3] [4] |
| 2 | James Lipton | [1] [2] [3] [4] |