dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Peter J. Freyd (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStacy 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)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStacy E. Finkelstein, Peter J. Freyd, James Lipton: A new framework for declarative programming. Theor. Comput. Sci. 300(1-3): 91-160 (2003)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Lipton, Stacy E. Finkelstein, Peter J. Freyd: A New Framework for Declarative Programming: Categorial Perspectives. ELP 1996: 209-211
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStacy E. Finkelstein, Peter J. Freyd, James Lipton: Logic Programming in Tau Categories. CSL 1994: 249-263

Selection of 4 from 18 records - Peter J. Freyd has 16 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page