1. H.P. Barendregt.The Lambda Calculus. Its Syntax and Semantics.North-Holland, 1984.
2. C. Böhm (Editor).λ-Calculus and Computer Science Theory. LNCS 37, Springer 1975.
3. A. Cantini. Remarks on Applicative Theories.Annals of Pure and Applied Logic\bf 136 (2005) pp. 91-115.
4. R.C. Flagg, J. Myhill. Implication and Analysis in Classical Frege Structure.Annals of Pure and Applied Logic34(1987) pp.33-85. H.jr Rogers.Theory of Recursive Functions and Effective Computability. MacGraw Hill New York 1967.
5. B. Intrigila, R. Statman. The Omega Rule isΠ02-Hard in theλ\beta-Calculus.LICS 2004pp.202-210, IEEE Computer Society 2004.