Lambda-calculus and combinators :
Hindley, J. Roger
Lambda-calculus and combinators : an introduction / by J. Roger Hindley. - Cambridge ; New York : Cambridge University Press, 2008. - xi, 345 p. : ill. ;
Include Index
9780521898850 P46.00
Combinatory logic.
511.35 / HIN/L
Lambda-calculus and combinators : an introduction / by J. Roger Hindley. - Cambridge ; New York : Cambridge University Press, 2008. - xi, 345 p. : ill. ;
Include Index
9780521898850 P46.00
Combinatory logic.
511.35 / HIN/L