Skip to main content
SpringerLink
Log in
Book cover

International Conference on Mathematical Foundations of Programming Semantics

MFPS 1989: Mathematical Foundations of Programming Semantics pp 402–417Cite as

Categorical semantics for programming languages

  • Conference paper
  • First Online:

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

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. E.W. Dijkstra, A Discipline of Programming. Prentice-Hall, Englewood Cliffs. NJ, (1976).

    Google Scholar 

  2. J.W. Gray, Formal Category Theory: Adjointness for 2-categories. LNM 391, Springer-Verlag, (1974).

    Google Scholar 

  3. M. Hennessy, The semantics of call-by-value and call-by-name in a non-deterministic environment. SIAM J. Comp. (1980), 67–85.

    Google Scholar 

  4. C.A.R. Hoare, Communicating Sequential Processes. Prentice-Hall, (1985).

    Google Scholar 

  5. C.A.R. Hoare and He Jifeng, Two-categorical Semantics for Programming Languages. in preparation.

    Google Scholar 

  6. J. Lambek and P.J. Scott, Introduction to higher order categorical logic Cambridge University Press, (1985).

    Google Scholar 

  7. Sanders Mac Lane, Categories for the working mathematicians. Springer-Verlag, New York Inc. (1971).

    Google Scholar 

  8. D.S. Scott, The lattice of flow diagrams. Symposium on Semantics of Algorithmic Languages, LNM 118, E. Engeler (ed.), (1971) 311–366.

    Google Scholar 

  9. D.A. Turner, Miranda, a non-strict functional language with polymorphic types. LNCS 201, Springer-Verlag, (1985) 1–16.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Programming Research Group, Oxford University Computing Laboratory, UK

    He Jifeng & C. A. R. Hoare

Authors
  1. He Jifeng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. A. R. Hoare
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Main A. Melton M. Mislove D. Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jifeng, H., Hoare, C.A.R. (1990). Categorical semantics for programming languages. In: Main, M., Melton, A., Mislove, M., Schmidt, D. (eds) Mathematical Foundations of Programming Semantics. MFPS 1989. Lecture Notes in Computer Science, vol 442. Springer, New York, NY. https://doi.org/10.1007/BFb0040271

Download citation

  • DOI: https://doi.org/10.1007/BFb0040271

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-0-387-97375-3

  • Online ISBN: 978-0-387-34808-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation