Introduction to combinators and (lambda)-calculus - Hindley, J. Roger; Seldin, Jonathan P (Cambridge, United Kingdom Cambridge University Press, 1990)
Keywords: Análisis combinatorio; Lógica matemática; Algoritmos; Lenguajes de programación