Introduction to combinators and [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 [Cambridgeshire]; New York
Language: eng
Number of pages: 360
Subjects: Combinatory logic.; Lambda calculus.
Notes: Bibliography: p. 340-352.
Includes index.