Lambda-calculus and combinators : an introduction /
Hindley, J. Roger
Lambda-calculus and combinators : an introduction / J. Roger Hindley and Jonathan P. Seldin - NY Cambridge University 2008 - 345 p.
9780521898850
ᅠ
Combinatory logicᅠ
Lambda calculusᅠ
511.35 HIN-J
Lambda-calculus and combinators : an introduction / J. Roger Hindley and Jonathan P. Seldin - NY Cambridge University 2008 - 345 p.
9780521898850
ᅠ
Combinatory logicᅠ
Lambda calculusᅠ
511.35 HIN-J