Introduction to combinators and -Calculus Hindley, J. Roger [and] Jonathan P. Sedin - USA, Cambridge university press. 1986 - 260p.

0-521-31839-4

QA 9.5 / .H56 1986