Advertisement

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)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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