Introduction to combinators and (the lambda)-calculus
By: J. Roger Hindley, Jonathan P. Seldin.
Contributors: Seldin, J. P.
Series: London Mathematical Society student texts -- 1
Publisher: Cambridge University Press
Published: 1986
Place of publication: Cambridge
Language: eng
Number of pages: 360
Subjects: Combinatorial analysis.; Algorithms.
Notes: Bibliography, p340-352. - Includes index.