1. Abbott, M.G., Altenkirch, T., Ghani, N.: Containers: constructing strictly positive types. Theoret. Comput. Sci. 342(1), 3–27 (2005)
2. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 3, pp. 1–168. Clarendon Press, Oxford (1994)
3. Lecture Notes in Computer Science;A Aiken,1991
4. Awodey, S.: Category Theory. Oxford University Press, Oxford (2011)
5. Lecture Notes in Computer Science;PN Benton,1993