Peter J. Freyd

21 papers A* 5B 3Journal 10Unranked 2

Year	Rank	Type	Title / Venue / Authors
2007	J	`jnl`	Core algebra revisited. Theor. Comput. Sci. Peter J. Freyd
2004	J	`jnl`	Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160]. Theor. Comput. Sci. Stacy E. Finkelstein, Peter J. Freyd, James Lipton
2003	J	`jnl`	A new framework for declarative programming. Theor. Comput. Sci. Stacy E. Finkelstein, Peter J. Freyd, James Lipton
2002	J	`jnl`	Cartesian logic. Theor. Comput. Sci. Peter J. Freyd
1999	J	`jnl`	Bireflectivity. Theor. Comput. Sci. Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent
1999	—	`conf`	Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? CTCS Peter J. Freyd
1996	—	`conf`	A New Framework for Declarative Programming: Categorial Perspectives. ELP James Lipton, Stacy E. Finkelstein, Peter J. Freyd
1995	B	`conf`	Bireflectivity. MFPS Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama
1994	B	`conf`	Logic Programming in Tau Categories. CSL Stacy E. Finkelstein, Peter J. Freyd, James Lipton
1993	J	`jnl`	Structural Polymorphism. Theor. Comput. Sci. Peter J. Freyd
1992	J	`jnl`	Extensional PERs Inf. Comput. Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott
1992	A*	`conf`	Functorial Parametricity LICS Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini
1990	—	`book`	Categories, allegories. Peter J. Freyd, Andre Scedrov
1990	A*	`conf`	Extensional PERs LICS Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott
1990	J	`jnl`	Functorial Polymorphism. Theor. Comput. Sci. Edwin Stewart Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott
1990	A*	`conf`	Recursive Types Reduced to Inductive Types LICS Peter J. Freyd
1988	A*	`conf`	Semantic Parametricity in Polymorphic Lambda Calculus LICS Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott
1987	B	`conf`	A Categorical Approach to Realizability and Polymorphic Types. MFPS Aurelio Carboni, Peter J. Freyd, Andre Scedrov
1987	J	`jnl`	Choice and well-ordering. Ann. Pure Appl. Log. Peter J. Freyd
1987	J	`jnl`	Lindenbaum algebras of intuitionistic theories and free categories. Ann. Pure Appl. Log. Peter J. Freyd, Harvey Friedman, Andre Scedrov
1987	A*	`conf`	Some Semantic Aspects of Polymorphic Lambda Calculus LICS Peter J. Freyd, Andre Scedrov