The type structure of CAT

  • J. Paul MyersJr.
  • Ronald E. Prather
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 613)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ashcroft, E.A. and W.W. Wedge, Rx for Semantics, ACM Transactions on Programming Languages and Systems, 4, 1982.Google Scholar
  2. 2.
    McCarthy, J., Recursive Functions of Symbolic Expressions and their Computation by Machine, Communications of the ACM, 3, 1960.Google Scholar
  3. 3.
    Prather, R.E., Proposal for a Categorical Programming Language, ACM SIGPLAN Notices, 25, 1990.Google Scholar
  4. 4.
    MacLane, S., Categories for the Working Mathematician, Springer-Verlag, 1971.Google Scholar
  5. 5.
    Cohn, P.M., Universal Algebra, Harper and Row, 1965.Google Scholar
  6. 6.
    Barr, M. and C. Wells, Category Theory for Computing Science, Prentice Hall, 1990.Google Scholar
  7. 7.
    Prather, R.E., Categorical Properties of CAT, submitted to Fourth Summer Conference on Category Theory and Computer Science, Paris, 1991.Google Scholar
  8. 8.
    Brainerd, W.S. and L.H. Landweber, Theory of Computation, Wiley, 1974.Google Scholar
  9. 9.
    Tennent, R.D., Principles of Programming Languages, Prentice Hall, 1981.Google Scholar
  10. 10.
    Reynolds, J.C., The Craft of Programming, Prentice Hall, 1981.Google Scholar
  11. 11.
    Constable, R.L. and M. O'Donnell, A Programming Logic, Winthrop, 1978.Google Scholar
  12. 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. 13.
    Zimmerman, H.S., Fuzzy Set Theory and its Applications, Kluwer-Nijhoff, 1985.Google Scholar
  14. 14.
    Prather, R.E., The Arithmetic of CAT, Unpub. Ms., 1989.Google Scholar
  15. 15.
    Jensen, K. and N. Wirth, Pascal User Manual and Report, Springer-Verlag, 1974.Google Scholar
  16. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • J. Paul MyersJr.
    • 1
  • Ronald E. Prather
    • 1
  1. 1.Trinity UniversityUSA

Personalised recommendations