Hindley, J. Roger.
Lambda-calculus and combinators, an introduction / - Cambridge, UK ; New York : Cambridge University Press, c2008. - xi, 345 p. : ill. ;
9780521898850 (hardback) 0521898854 (hardback)
Lambda calculus.
Combinatory logic.
511.3 5 / HIN/L
Lambda-calculus and combinators, an introduction / - Cambridge, UK ; New York : Cambridge University Press, c2008. - xi, 345 p. : ill. ;
9780521898850 (hardback) 0521898854 (hardback)
Lambda calculus.
Combinatory logic.
511.3 5 / HIN/L