Preview
Unable to display preview. Download preview PDF.
References
M. Barr and C. Wells, Toposes, Triples and Theories, Springer-Verlag, New York, 1985.
J. Benabou, Introduction to Bicategories, Reports Midwest Category Seminar I, Lecture Notes in Mathematics 47, Springer-Verlag, New York, 1967.
S. Eilenberg and G. M. Kelly, Closed categories, in Proceedings of the Conference on Categorical Algebra, La Jolla, 1965, Springer-Verlag, New York, 1966.
J. W. Gray, Formal Category Theory: Adjointness for 2-Categories, Lecture Notes in Mathematics 391, Springer Verlag, New York, 1974.
J. W. Gray, Categorical aspects of data type constructors, Theoretical Computer Science, 141 (to appear).
P. Johnstone, Topos Theory, Academic Press, New York, 1977.
G. M. Kelly and R. Street, Review of the elements of 2-categories, in Category Seminar, Sydney 1972/73, Lecture Notes in Mathematics 420, Springer-Verlag, New York, 1974.
J. Lambek and P.J. Scott, Introduction to Higher Order Categorical Logic. Cambridge studies in advanced mathematics 7, Cambridge University Press, New York, 1986
S. Mac Lane, Categories for the Working Mathematician, Springer Verlag, New York, 1972.
B. Pareigis, Kategorien und Funktoren, B. G. Teubner, Stuttgart, 1969.
R. Seely, Locally cartesian closed categories and type theory, Math. Proc. Camb. Phil. Soc. 95 (1984), 33–48.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gray, J.W. (1988). A categorical treatment of polymorphic operations. In: Main, M., Melton, A., Mislove, M., Schmidt, D. (eds) Mathematical Foundations of Programming Language Semantics. MFPS 1987. Lecture Notes in Computer Science, vol 298. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19020-1_1
Download citation
DOI: https://doi.org/10.1007/3-540-19020-1_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19020-2
Online ISBN: 978-3-540-38920-0
eBook Packages: Springer Book Archive