Skip to main content
SpringerLink
Log in
Book cover

Category Theory and Computer Programming pp 242–251Cite as

Categories of partial morphisms and the λP-calculus

Extended abstract

  • Part II Research Contributions
  • Chapter
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 240))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.. 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.. Equality between functions. In Parikh R. (editor), Lecture Notes in Mathematics. Volume 453: Logic Colloquium '75. Spriger Verlag, 1975.

    Google Scholar 

  4. Heller A.. Dominical Categories. In Atti della Scuola di Logica di Siena, 1982., 1982.

    Google Scholar 

  5. 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.. The logic of categories of partial functions and its applications. Dissertationes Mathematicae (241), 1985.

    Google Scholar 

  7. Plotkin G.D.. Call-by-name, call-by-value and the λ-calculus. Theoretical Computer Science (1), 1975.

    Google Scholar 

  8. Plotkin G.D.. Types and partial functions (lecture notes). 1985.

    Google Scholar 

  9. Rosolini G.. Domains and dominical categories. Rivista Matematica dell' Universita' di Parma, 1985.

    Google Scholar 

  10. Rosolini G.. Continuity and effectiveness in topoi. PhD thesis, Carnegie-Mellon Univ., Dept. of Math., 1986.

    Google Scholar 

  11. 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.. 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 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Edinburgh, The King's Buildings, EH9 3JZ, Edinburgh

    Eugenio Moggi

Authors
  1. Eugenio Moggi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

David Pitt Samson Abramsky Axel Poigné David Rydeheard

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Moggi, E. (1986). Categories of partial morphisms and the λP-calculus. In: Pitt, D., Abramsky, S., Poigné, A., Rydeheard, D. (eds) Category Theory and Computer Programming. Lecture Notes in Computer Science, vol 240. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17162-2_126

Download citation

  • DOI: https://doi.org/10.1007/3-540-17162-2_126

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17162-1

  • Online ISBN: 978-3-540-47213-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation