عنوان
پدید آورنده
موضوع
رده
QA 9 .5 .H565 2008
QA
9
.
5
.
H565
2008
کتابخانه
محل استقرار
149560
تابستان۸۸
English
)20(
Hindley, J. Roger.
Lambda-calculus and combinators, an introduction
Cambridge, UK
Cambridge University Press
2008
xi, 345 p.: ill.; 24 cm
Includes bibliographical references and index
، Lambda calculus
، Combinatory logic
QA
9
.
5
.
H565
2008
AU
J. Roger Hindley, Jonathan P. Seldin
AU P .J ,nidleS
TI
02
