Peter J. Freyd

Peter J. Freyd: Core algebra revisited. Theor. Comput. Sci. 375(1-3): 193-200 (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): 527 (2004)

Stacy E. Finkelstein, Peter J. Freyd, James Lipton: A new framework for declarative programming. Theor. Comput. Sci. 300(1-3): 91-160 (2003)

Peter J. Freyd: Cartesian logic. Theor. Comput. Sci. 278(1-2): 3-21 (2002)

Peter J. Freyd: Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? Electr. Notes Theor. Comput. Sci. 29: 79 (1999)

Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent: Bireflectivity. Theor. Comput. Sci. 228(1-2): 49-76 (1999)

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

Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama: Bireflectivity. Electr. Notes Theor. Comput. Sci. 1: 199-213 (1995)

Stacy E. Finkelstein, Peter J. Freyd, James Lipton: Logic Programming in Tau Categories. CSL 1994: 249-263

Peter J. Freyd: Structural Polymorphism. Theor. Comput. Sci. 115(1): 107-129 (1993)

Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott: Extensional PERs. Inf. Comput. 98(2): 211-227 (1992)

Peter J. Freyd, E. P. Robinson, Giuseppe Rosolini: Functorial Parametricity. LICS 1992: 444-452

E. S. Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott: Functorial Polymorphism. Theor. Comput. Sci. 70(1): 35-64 (1990)

Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott: Extensional PERs. LICS 1990: 346-354

Peter J. Freyd: Recursive Types Reduced to Inductive Types. LICS 1990: 498-507

Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott: Semantic Parametricity in Polymorphic Lambda Calculus. LICS 1988: 274-279

Peter J. Freyd, Andre Scedrov: Some Semantic Aspects of Polymorphic Lambda Calculus. LICS 1987: 315-319

Aurelio Carboni, Peter J. Freyd, Andre Scedrov: A Categorical Approach to Realizability and Polymorphic Types. MFPS 1987: 23-42