Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
L. Allison, A Practical Introduction to Denotational Semantics, Cambridge Computer Science Texts 23, Cambridge University Press, 1986.
M. Barr, C. Wells, Category Theory for Computing Science, Prentice Hall (1990).
M. Barr, C. Wells, Toposes, Triples and Theories, Springer(1985).
N. Cutland, Computability, Cambridge University Press, 1980.
J. W. Gray, Formal Category Theory I: Adjointness for 2-Categories. Springer Lecture Notes in Mathematics 391 (1974).
R. Guitart, On the geometry of computations, Cahiers Top. et Geom. Diff. XXVII-4(1986), 107–136.
C. B. Jay, Extending properties to categories of partial maps. Laboratory for Foundations of Computer Science, Report 90–107, Edinburgh(1990).
L.A. Leventhal, D. Hawkins, G. Kane, W.D. Cramer, 68000 Assembly Language Programming, 2nd Edition, Osborne McGraw-Hill (1986).
J. MacDonald, A. Stone, Soft adjunctions between 2-categories. J. Pure Applied Algebra 60 (1989), 155–203.
J. MacDonald, A. Stone, A class of 2-adjunctions invariant under perturbation. To appear.
S. Mac Lane, Categories for the Working Mathematician, Springer(1971).
MC 68000 16-Bit Microprocessor user's manual, 3rd Edition, Prentice Hall (1982).
MC 88100 RISC Microprocessor user's manual, 2nd Edition, Prentice Hall (1990).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag
About this paper
Cite this paper
MacDonald, J.L. (1991). Concretely functorial programming. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds) Category Theory. Lecture Notes in Mathematics, vol 1488. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0084227
Download citation
DOI: https://doi.org/10.1007/BFb0084227
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54706-8
Online ISBN: 978-3-540-46435-8
eBook Packages: Springer Book Archive