Introduction to combinators and [the lambda]-calculus
Hindley, J. R.(James Roger),1939-
Seldin, J. P.(Jonathan Paul)
Cambridge Cambridge University Press
1986
Bibliography: p340-352. - Includes index
Combinatorial analysis.
Algorithms.