Peter J. Freyd

2007
18	EE	Peter J. Freyd: Core algebra revisited. Theor. Comput. Sci. 375(1-3): 193-200 (2007)
2004
17	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
16	EE	Stacy E. Finkelstein, Peter J. Freyd, James Lipton: A new framework for declarative programming. Theor. Comput. Sci. 300(1-3): 91-160 (2003)
2002
15	EE	Peter J. Freyd: Cartesian logic. Theor. Comput. Sci. 278(1-2): 3-21 (2002)
1999
14	EE	Peter J. Freyd: Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? Electr. Notes Theor. Comput. Sci. 29: (1999)
13	EE	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)
1996
12		James Lipton, Stacy E. Finkelstein, Peter J. Freyd: A New Framework for Declarative Programming: Categorial Perspectives. ELP 1996: 209-211
1995
11	EE	Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama: Bireflectivity. Electr. Notes Theor. Comput. Sci. 1: (1995)
1994
10		Stacy E. Finkelstein, Peter J. Freyd, James Lipton: Logic Programming in Tau Categories. CSL 1994: 249-263
1993
9		Peter J. Freyd: Structural Polymorphism. Theor. Comput. Sci. 115(1): 107-129 (1993)
1992
8		Peter J. Freyd, E. P. Robinson, Giuseppe Rosolini: Functorial Parametricity LICS 1992: 444-452
7		Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott: Extensional PERs Inf. Comput. 98(2): 211-227 (1992)
1990
6		Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott: Extensional PERs LICS 1990: 346-354
5		Peter J. Freyd: Recursive Types Reduced to Inductive Types LICS 1990: 498-507
4		E. S. Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott: Functorial Polymorphism. Theor. Comput. Sci. 70(1): 35-64 (1990)
1988
3		Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott: Semantic Parametricity in Polymorphic Lambda Calculus LICS 1988: 274-279
1987
2		Peter J. Freyd, Andre Scedrov: Some Semantic Aspects of Polymorphic Lambda Calculus LICS 1987: 315-319
1		Aurelio Carboni, Peter J. Freyd, Andre Scedrov: A Categorical Approach to Realizability and Polymorphic Types. MFPS 1987: 23-42

Coauthor Index

1	E. S. Bainbridge	[4]
2	Aurelio Carboni	[1]
3	Stacy E. Finkelstein	[10] [12] [16] [17]
4	Jean-Yves Girard	[3]
5	James Lipton	[10] [12] [16] [17]
6	P. Mulry	[6] [7]
7	Peter W. O'Hearn	[11] [13]
8	John Power (A. John Power)	[11] [13]
9	Edmund Robinson (E. P. Robinson)	[8]
10	Giuseppe Rosolini	[6] [7] [8]
11	Andre Scedrov	[1] [2] [3] [4]
12	Dana S. Scott	[6] [7]
13	Philip J. Scott	[3] [4]
14	R. Street	[13]
15	Makoto Takeyama	[11] [13]
16	Robert D. Tennent	[11] [13]

Colors in the list of coauthors