Skip to main content
SpringerLink
Log in

The type structure of CAT

  • Conference paper
  • First Online:
Constructivity in Computer Science (Constructivity in CS 1991)

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

Included in the following conference series:

  • 141 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ashcroft, E.A. and W.W. Wedge, Rx for Semantics, ACM Transactions on Programming Languages and Systems, 4, 1982.

    Google Scholar 

  2. McCarthy, J., Recursive Functions of Symbolic Expressions and their Computation by Machine, Communications of the ACM, 3, 1960.

    Google Scholar 

  3. Prather, R.E., Proposal for a Categorical Programming Language, ACM SIGPLAN Notices, 25, 1990.

    Google Scholar 

  4. MacLane, S., Categories for the Working Mathematician, Springer-Verlag, 1971.

    Google Scholar 

  5. Cohn, P.M., Universal Algebra, Harper and Row, 1965.

    Google Scholar 

  6. Barr, M. and C. Wells, Category Theory for Computing Science, Prentice Hall, 1990.

    Google Scholar 

  7. Prather, R.E., Categorical Properties of CAT, submitted to Fourth Summer Conference on Category Theory and Computer Science, Paris, 1991.

    Google Scholar 

  8. Brainerd, W.S. and L.H. Landweber, Theory of Computation, Wiley, 1974.

    Google Scholar 

  9. Tennent, R.D., Principles of Programming Languages, Prentice Hall, 1981.

    Google Scholar 

  10. Reynolds, J.C., The Craft of Programming, Prentice Hall, 1981.

    Google Scholar 

  11. Constable, R.L. and M. O'Donnell, A Programming Logic, Winthrop, 1978.

    Google Scholar 

  12. Nerode, A., Some Lectures on Intuitionistic Logic, in Logic and Computer Science (ed. P. Odifreddi), Lecture Notes in Mathematics 1429, Springer-Verlag, 1990.

    Google Scholar 

  13. Zimmerman, H.S., Fuzzy Set Theory and its Applications, Kluwer-Nijhoff, 1985.

    Google Scholar 

  14. Prather, R.E., The Arithmetic of CAT, Unpub. Ms., 1989.

    Google Scholar 

  15. Jensen, K. and N. Wirth, Pascal User Manual and Report, Springer-Verlag, 1974.

    Google Scholar 

  16. Greenleaf, N., Algorithms and Proofs: Mathematics in the Computing Curriculum, Proceedings of the 20th Technical Symposium on Computer Science Education, SIGCSE Bulletin, 21, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Trinity University, USA

    J. Paul Myers Jr. & Ronald E. Prather

Authors
  1. J. Paul Myers Jr.
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ronald E. Prather
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Paul Myers Jr. Michael J. O'Donnell

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Myers, J.P., Prather, R.E. (1992). The type structure of CAT. In: Myers, J.P., O'Donnell, M.J. (eds) Constructivity in Computer Science. Constructivity in CS 1991. Lecture Notes in Computer Science, vol 613. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021093

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55631-2

  • Online ISBN: 978-3-540-47265-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation