1. A. Asperti and G. Longo. Categories, Types and Structures: An introduction to category theory for the working computer scientist. Foundations of Computing Series. MIT Press, 1991.
2. H. Barendregt. Lambda calculi with types. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2: Computational Structures. Oxford University Press, 1991.
3. M. Barr and C. Wells. Category Theory for Computing Science. C.A.R. Hoare Series Editor. Prentice Hall, second edition, 1996.
4. Lect Notes Comput Sci;I. Beylin,1996
5. T. Braüner. An Axiomatic Approach to Adequacy. PhD thesis, BRICS PhD School, 1996.