Categories of partial morphisms and the λP-calculus

Extended abstract
  • Eugenio Moggi
Part II Research Contributions Section 1: Semantics
Part of the Lecture Notes in Computer Science book series (LNCS, volume 240)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Burmeister P. 82]
    Burmeister P.. Partial algebras — survey of a unifying approach towards a two-valued model theory for partial algebras. Algebra Universalis (15), 1982.Google Scholar
  2. [Fourman M.P. 77]
    Fourman M.P.. The Logic of Topoi. In Barwise J. (editor), Studies in Logic. Volume 90: Handbook of Mathematical Logic. North Holland, 1977.Google Scholar
  3. [Friedman H. 75]
    Friedman H.. Equality between functions. In Parikh R. (editor), Lecture Notes in Mathematics. Volume 453: Logic Colloquium '75. Spriger Verlag, 1975.Google Scholar
  4. [Heller A. 82]
    Heller A.. Dominical Categories. In Atti della Scuola di Logica di Siena, 1982., 1982.Google Scholar
  5. [Longo G., Moggi E. 84]
    Longo G., Moggi E.. Cartesian Closed Categories of Enumerations for effective Type-Structures. In Kahn G., MacQueen D., Plotkin G.D. (editors), Lecture Notes in Computer Science. Volume 173: Symposium Semantics of Data Types, 1984. Spriger Verlag, 1984.Google Scholar
  6. [Obtulowicz A. 85]
    Obtulowicz A.. The logic of categories of partial functions and its applications. Dissertationes Mathematicae (241), 1985.Google Scholar
  7. [Plotkin G.D. 75]
    Plotkin G.D.. Call-by-name, call-by-value and the λ-calculus. Theoretical Computer Science (1), 1975.Google Scholar
  8. [Plotkin G.D. 85]
    Plotkin G.D.. Types and partial functions (lecture notes). 1985.Google Scholar
  9. [Rosolini G. 85]
    Rosolini G.. Domains and dominical categories. Rivista Matematica dell' Universita' di Parma, 1985.Google Scholar
  10. [Rosolini G. 86]
    Rosolini G.. Continuity and effectiveness in topoi. PhD thesis, Carnegie-Mellon Univ., Dept. of Math., 1986.Google Scholar
  11. [Scott D.S. 77]
    Scott D.S.. Identity and existence in intuitionistic logic. In Fourman M.P., Mulvey C.J., Scott D.S. (editors), Lecture Notes in Mathematics. Volume 753: Applications of Sheaves. Spriger Verlag, 1977.Google Scholar
  12. [Scott D.S. 80]
    Scott D.S.. Relating theories of the λ-calculus. In Hindley R., Seldin J. (editors), To H.B. Curry: essays in Combinarory Logic, lambda calculus and Formalisms. Accademic Press, 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Eugenio Moggi
    • 1
  1. 1.Computer Science DepartmentUniversity of EdinburghEdinburgh

Personalised recommendations