1. M.A. Arbib, E.G. Manes, Arrows, Structures and Functors — The Categorical Imperative, Academic Press, New York-San Francisco-London 1975
2. H.Barendregt, The Lambda Calculus, North Holland 1984
3. G.Berry, Some Syntactic and Categorical Constructions of Lambda-Calculus Models, Rapport INRIA 80, 1981
4. P.-L. Curien, Categorical Combinators, Sequential Algorithms and Functional Programming, Pitman, London 1981
5. S.Eilenberg, G.M.Kelly, Closed Categories, Proc. Conf. on Categorical Algebra at La Jolla, Springer Verlag 1966