Introduction to combinators and [lambda]-calculus /
Hindley, J. Roger.
Introduction to combinators and [lambda]-calculus / J. Roger Hindley, Jonathan P. Seldin. - Cambridge : Cambridge University Press, 1986. - 360 p. ; 23 cm. - London Mathematical Society student texts ; 1 .
Includes index.
Includes bibliographical references : p. 340-352.
0521318394 (pbk.)
Combinatory logic.
Lambda calculus.
Introduction to combinators and [lambda]-calculus / J. Roger Hindley, Jonathan P. Seldin. - Cambridge : Cambridge University Press, 1986. - 360 p. ; 23 cm. - London Mathematical Society student texts ; 1 .
Includes index.
Includes bibliographical references : p. 340-352.
0521318394 (pbk.)
Combinatory logic.
Lambda calculus.