• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

• 2013
• 
  Peter T. Johnstone:
  What do Freyd's Toposes Classify? Logica Universalis 7(3): 335-340 (2013)
• 2007
• 
  Peter J. Freyd:
  Core algebra revisited. Theor. Comput. Sci. 375(1-3): 193-200 (2007)
• 2004
• 
  Stacy 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
• 
  Stacy E. Finkelstein, Peter J. Freyd, James Lipton:
  A new framework for declarative programming. Theor. Comput. Sci. 300(1-3): 91-160 (2003)
• 2002
• 
  Peter J. Freyd:
  Cartesian logic. Theor. Comput. Sci. 278(1-2): 3-21 (2002)
• 1999
• 
  Peter 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)
• 
  Peter J. Freyd:
  Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? CTCS 1999: 79
• 1996
• 
  James Lipton, Stacy E. Finkelstein, Peter J. Freyd:
  A New Framework for Declarative Programming: Categorial Perspectives. ELP 1996: 209-211
• 1995
• 
  Peter J. Freyd, Peter W. O'Hearn, John Power, Robert D. Tennent, Makoto Takeyama:
  Bireflectivity. MFPS 1995: 199-213
• 1994
• 
  Stacy E. Finkelstein, Peter J. Freyd, James Lipton:
  Logic Programming in Tau Categories. CSL 1994: 249-263
• 1993
• 
  Peter J. Freyd:
  Structural Polymorphism. Theor. Comput. Sci. 115(1): 107-129 (1993)
• 1992
• 
  Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott:
  Extensional PERs. Inf. Comput. 98(2): 211-227 (1992)
• 
  Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini:
  Functorial Parametricity. LICS 1992: 444-452
• 1990
• 
  Peter J. Freyd, Andre Scedrov:
  Categories, allegories. North-Holland mathematical library 39, North-Holland 1990, ISBN 978-0-444-70368-2, pp. I-XVII, 1-296
• 
  E. S. Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott:
  Functorial Polymorphism. Theor. Comput. Sci. 70(1): 35-64 (1990)
• 
  Peter J. Freyd:
  Recursive Types Reduced to Inductive Types. LICS 1990: 498-507
• 
  Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott:
  Extensional PERs. LICS 1990: 346-354
• 1988
• 
  Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott:
  Semantic Parametricity in Polymorphic Lambda Calculus. LICS 1988: 274-279
• 1987
• 
  Peter J. Freyd:
  Choice and well-ordering. Ann. Pure Appl. Log. 35: 149-166 (1987)
• 
  Peter J. Freyd, Harvey Friedman, Andre Scedrov:
  Lindenbaum algebras of intuitionistic theories and free categories. Ann. Pure Appl. Log. 35: 167-172 (1987)
• 
  Peter J. Freyd, Andre Scedrov:
  Some Semantic Aspects of Polymorphic Lambda Calculus. LICS 1987: 315-319
• 
  Aurelio Carboni, Peter J. Freyd, Andre Scedrov:
  A Categorical Approach to Realizability and Polymorphic Types. MFPS 1987: 23-42