Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. L. Allison, A Practical Introduction to Denotational Semantics, Cambridge Computer Science Texts 23, Cambridge University Press, 1986.
2. M. Barr, C. Wells, Category Theory for Computing Science, Prentice Hall (1990).
3. M. Barr, C. Wells, Toposes, Triples and Theories, Springer(1985).
4. N. Cutland, Computability, Cambridge University Press, 1980.
5. J. W. Gray, Formal Category Theory I: Adjointness for 2-Categories. Springer Lecture Notes in Mathematics 391 (1974).