Peter J. Freyd
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1987–1994
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | CSL | Logic Programming in Tau Categories. | Stacy E. Finkelstein, Peter J. Freyd, James Lipton |
| 1992 | LICS | Functorial Parametricity | Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini |
| 1990 | LICS | Recursive Types Reduced to Inductive Types | Peter J. Freyd |
| 1990 | LICS | Extensional PERs | Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott |
| 1988 | LICS | Semantic Parametricity in Polymorphic Lambda Calculus | Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott |
| 1987 | LICS | Some Semantic Aspects of Polymorphic Lambda Calculus | Peter J. Freyd, Andre Scedrov |
| 1987 | MFPS | A Categorical Approach to Realizability and Polymorphic Types. | Aurelio Carboni, Peter J. Freyd, Andre Scedrov |