1. Barendregt, H.P.: Lambda Calculi with types. In: Abramsky, S., et al. (eds.) Handbook of Logic in Computer Science, vol. 2, pp. 117–309. Oxford University Press, Oxford (1992)
2. Barendregt, H.P., Dekkers, W., Statman, R.: Lambda Calculus with Types. Cambridge University Press, Cambridge (2013)
3. Bunder, M.W.: Some improvements to Turner’s algorithm for bracket abstraction. J. Symb. Logic 55, 656–669 (1990)
4. Curry, H.B., Feys, R.: Combinatory Logic, vol. I. North-Holland, Amsterdam (1958)
5. Curry, H.B., Hindley, J.R., Seldin, J.P.: Combinatory Logic, vol. II. North-Holland, Amsterdam (1972)