Some Semantic Aspects of Polymorphic Lambda Calculus - Peter J. Freyd; Andre Scedrov (LICS, 1987)

A Categorical Approach to Realizability and Polymorphic Types. - Aurelio Carboni; Peter J. Freyd; Andre Scedrov (MFPS, 1987)

Choice and well-ordering. - Peter J. Freyd (Ann. Pure Appl. Log., 1987)

Lindenbaum algebras of intuitionistic theories and free categories. - Peter J. Freyd; Harvey Friedman; Andre Scedrov (Ann. Pure Appl. Log., 1987)

Semantic Parametricity in Polymorphic Lambda Calculus - Peter J. Freyd; Jean-Yves Girard 001; Andre Scedrov; Philip J. Scott (LICS, 1988)

Categories, allegories. - Peter J. Freyd; Andre Scedrov (North-Holland, 1990)

Recursive Types Reduced to Inductive Types - Peter J. Freyd (LICS, 1990)

Functorial Polymorphism. - Edwin Stewart Bainbridge; Peter J. Freyd; Andre Scedrov; Philip J. Scott (Theor. Comput. Sci., 1990)

Functorial Parametricity - Peter J. Freyd; Edmund P. Robinson; Giuseppe Rosolini (LICS, 1992)

Extensional PERs - Peter J. Freyd; P. Mulry; Giuseppe Rosolini; Dana S. Scott (Inf. Comput., 1992)

Structural Polymorphism. - Peter J. Freyd (Theor. Comput. Sci., 1993)

Logic Programming in Tau Categories. - Stacy E. Finkelstein; Peter J. Freyd; James Lipton (CSL, 1994)

Bireflectivity. - Peter J. Freyd; Peter W. O'Hearn; John Power; Robert D. Tennent; Makoto Takeyama (MFPS, 1995)

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

Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? - Peter J. Freyd (CTCS, 1999)

Bireflectivity. - Peter J. Freyd; Peter W. O'Hearn; A. John Power; Makoto Takeyama; R. Street; Robert D. Tennent (Theor. Comput. Sci., 1999)

Cartesian logic. - Peter J. Freyd (Theor. Comput. Sci., 2002)

A new framework for declarative programming. - Stacy E. Finkelstein; Peter J. Freyd; James Lipton (Theor. Comput. Sci., 2003)

Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160]. - Stacy E. Finkelstein; Peter J. Freyd; James Lipton (Theor. Comput. Sci., 2004)

Core algebra revisited. - Peter J. Freyd (Theor. Comput. Sci., 2007)