00832nam a2200265 a 4500 0521318394 (pbk.) MAIN QA9.5 Hindley, J. Roger. Introduction to combinators and [lambda]-calculus / J. Roger Hindley, Jonathan P. Seldin. Cambridge : Cambridge University Press, 1986. 360 p. ; 23 cm. London Mathematical Society student texts ; 1 Includes bibliographical references : p. 340-352. Includes index. Combinatory logic. Lambda calculus. Seldin, J. P. .b10039454 06-09-03 17-04-03 20230123133415.0 NUST BOOKS QA9.5 148060 148060 2023-01-23 00:00:00 0 QA9.5 HIN 92003007594 80.00 2023-01-23 BOOKS 0 LCC 0 0 NFIC 0 MAIN MAIN GEN 2023-01-23 80.00