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
An institution deemed to be a University Estd. Vide Sec.3 of the UGC
Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964

© 2024 BITS-Library, BITS-Hyderabad, India.