Lambda-Calculus and combinators: an introduction
J. Roger Hindley
Lambda-Calculus and combinators: an introduction - - Cambridge University Press 2008 - xi, 345p. - .
MD/1/0449/09-10/03-09-09
9780521898850(HB)
LAMBDA CALCULUS
COMBINATORY LOGIC
511.35 HIN(LAM)
Lambda-Calculus and combinators: an introduction - - Cambridge University Press 2008 - xi, 345p. - .
MD/1/0449/09-10/03-09-09
9780521898850(HB)
LAMBDA CALCULUS
COMBINATORY LOGIC
511.35 HIN(LAM)