Lambda-calculus and combinators, an introduction /
Hindley, J. Roger
Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin - Cambridge, UK : Cambridge University Press, c2008 - xi, 345 p. : ill. ; 24 cm.
Includes bibliographical references (p. 323-333) and index
9780521898850 0521898854
Lambda calculus
Combinatory logic
Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin - Cambridge, UK : Cambridge University Press, c2008 - xi, 345 p. : ill. ; 24 cm.
Includes bibliographical references (p. 323-333) and index
9780521898850 0521898854
Lambda calculus
Combinatory logic