Peter J. Freyd

Publication Activity (10 Years)

Years Active: 1987-2007
Publications (10 Years): 0

Publications

Peter J. Freyd
Core algebra revisited. Theor. Comput. Sci. 375 (1-3) (2007)
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)
Peter J. Freyd
Cartesian logic. Theor. Comput. Sci. 278 (1-2) (2002)
Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent
Bireflectivity. Theor. Comput. Sci. 228 (1-2) (1999)
Peter J. Freyd
Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? CTCS (1999)
James Lipton, Stacy E. Finkelstein, Peter J. Freyd
A New Framework for Declarative Programming: Categorial Perspectives. ELP (1996)
Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
Bireflectivity. MFPS (1995)
Stacy E. Finkelstein, Peter J. Freyd, James Lipton
Logic Programming in Tau Categories. CSL (1994)
Peter J. Freyd
Structural Polymorphism. Theor. Comput. Sci. 115 (1) (1993)
Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini
Functorial Parametricity LICS (1992)
Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott
Extensional PERs Inf. Comput. 98 (2) (1992)
Peter J. Freyd
Recursive Types Reduced to Inductive Types LICS (1990)
E. S. Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott
Functorial Polymorphism. Theor. Comput. Sci. 70 (1) (1990)
Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott
Extensional PERs LICS (1990)
Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott
Semantic Parametricity in Polymorphic Lambda Calculus LICS (1988)
Peter J. Freyd, Andre Scedrov
Some Semantic Aspects of Polymorphic Lambda Calculus LICS (1987)
Peter J. Freyd
Choice and well-ordering. Ann. Pure Appl. Log. 35 (1987)
Peter J. Freyd, Harvey Friedman, Andre Scedrov
Lindenbaum algebras of intuitionistic theories and free categories. Ann. Pure Appl. Log. 35 (1987)
Aurelio Carboni, Peter J. Freyd, Andre Scedrov
A Categorical Approach to Realizability and Polymorphic Types. MFPS (1987)