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

Peter J. Freyd Vis

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

*2007
18EEPeter J. Freyd: Core algebra revisited. Theor. Comput. Sci. 375(1-3): 193-200 (2007)
2004
17EEStacy 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
16EEStacy E. Finkelstein, Peter J. Freyd, James Lipton: A new framework for declarative programming. Theor. Comput. Sci. 300(1-3): 91-160 (2003)
2002
15EEPeter J. Freyd: Cartesian logic. Theor. Comput. Sci. 278(1-2): 3-21 (2002)
1999
14EEPeter J. Freyd: Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? Electr. Notes Theor. Comput. Sci. 29: (1999)
13EEPeter 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
12EEJames Lipton, Stacy E. Finkelstein, Peter J. Freyd: A New Framework for Declarative Programming: Categorial Perspectives. ELP 1996: 209-211
1995
11EEPeter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama: Bireflectivity. Electr. Notes Theor. Comput. Sci. 1: (1995)
1994
10EEStacy 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
1EEAurelio Carboni, Peter J. Freyd, Andre Scedrov: A Categorical Approach to Realizability and Polymorphic Types. MFPS 1987: 23-42

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)