Preview
Unable to display preview. Download preview PDF.
References
Ashcroft, E.A. and W.W. Wedge, Rx for Semantics, ACM Transactions on Programming Languages and Systems, 4, 1982.
McCarthy, J., Recursive Functions of Symbolic Expressions and their Computation by Machine, Communications of the ACM, 3, 1960.
Prather, R.E., Proposal for a Categorical Programming Language, ACM SIGPLAN Notices, 25, 1990.
MacLane, S., Categories for the Working Mathematician, Springer-Verlag, 1971.
Cohn, P.M., Universal Algebra, Harper and Row, 1965.
Barr, M. and C. Wells, Category Theory for Computing Science, Prentice Hall, 1990.
Prather, R.E., Categorical Properties of CAT, submitted to Fourth Summer Conference on Category Theory and Computer Science, Paris, 1991.
Brainerd, W.S. and L.H. Landweber, Theory of Computation, Wiley, 1974.
Tennent, R.D., Principles of Programming Languages, Prentice Hall, 1981.
Reynolds, J.C., The Craft of Programming, Prentice Hall, 1981.
Constable, R.L. and M. O'Donnell, A Programming Logic, Winthrop, 1978.
Nerode, A., Some Lectures on Intuitionistic Logic, in Logic and Computer Science (ed. P. Odifreddi), Lecture Notes in Mathematics 1429, Springer-Verlag, 1990.
Zimmerman, H.S., Fuzzy Set Theory and its Applications, Kluwer-Nijhoff, 1985.
Prather, R.E., The Arithmetic of CAT, Unpub. Ms., 1989.
Jensen, K. and N. Wirth, Pascal User Manual and Report, Springer-Verlag, 1974.
Greenleaf, N., Algorithms and Proofs: Mathematics in the Computing Curriculum, Proceedings of the 20th Technical Symposium on Computer Science Education, SIGCSE Bulletin, 21, 1989.
Author information
Authors and Affiliations
Editor information
Rights 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