The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter J. Freyd: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.052secs, Finished in 0.053secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002