عنوان
پدید آورنده
موضوع
رده
QA 9.5 .H56I5
QA
9
.
5
.
H56I5
کتابخانه
محل استقرار
An introduction to combinators and )Lambda(-calculus
Cambridge
Cambridege University Press
1986
]ii[, 360p
London Mathematical Society. Student texts; 1
Bibliography: p. 340-352
ISBN: 0521268966
J. Roger Hindley, Jonathand P. Seldin
1
، Combinatory logic
، Lambda calculus
QA
9
.
5
.
H56I5
Hindley, J. Roger
AU
AU Seldin, Jonathan Paul
TI
TI Combinators and the )Lambda( calculus
SE
