Title: Introduction to combinators and (the lambda)-calculus
First published: 1986
Subjects: Combinatorial analysis, Algorithms
LC classification: QA164