Peter J. Freyd

Theor. Comput. Sci., 2007

2004

Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160].

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

2003

A new framework for declarative programming.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

2002

Cartesian logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

1999

Bireflectivity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good?

[BibT_eX]

[DOI]

Proceedings of the Conference on Category Theory and Computer Science, 1999

1996

A New Framework for Declarative Programming: Categorial Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1995

Bireflectivity.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

1994

Logic Programming in Tau Categories.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1993

Structural Polymorphism.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

1992

Extensional PERs

[BibT_eX]

[DOI]

Inf. Comput., June, 1992

Functorial Parametricity

[BibT_eX]

[DOI]

Edmund P. Robinson

Giuseppe Rosolini

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1990

Functorial Polymorphism.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

Recursive Types Reduced to Inductive Types

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

Categories, allegories.

[BibT_eX]

North-Holland mathematical library 39, North-Holland, ISBN: 978-0-444-70368-2, 1990

1988

Semantic Parametricity in Polymorphic Lambda Calculus

[BibT_eX]

[DOI]

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1987

Lindenbaum algebras of intuitionistic theories and free categories.

[BibT_eX]

[DOI]

Harvey Friedman

Ann. Pure Appl. Log., 1987

Choice and well-ordering.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 1987

A Categorical Approach to Realizability and Polymorphic Types.

[BibT_eX]

[DOI]

Aurelio Carboni

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

Some Semantic Aspects of Polymorphic Lambda Calculus

[BibT_eX]