1. Abramsky S, Jung (1994) Domain theory. In: Abramsky S, et al (ed), Handbook of logic in computer science, vol 3. Oxford University Press, Oxford, pp 1–168
2. Adamek J, Herrlich H, Strecker GE (1990) Abstract and concrete categories: the joy of cats. Wiley, New York. Available online
3. Awodey S (2010) Category theory. Oxford logic guides. OUP, Oxford
4. Baez J, Lauda A (2011) A prehistory of n-categorical physics. In: Deep beauty: understanding the quantum world through mathematical innovation. Cambridge University Press, Cambridge, pp 13–128
5. Barendregt H, Dekkers W, Statman R (2013) Lambda calculus with types. Perspectives in logic. Cambridge University Press, Cambridge