عنوان
پدید آورنده
موضوع
رده
QA 9 .5 .H56 1986
QA
9
.
5
.
H56
1986
کتابخانه
محل استقرار
103743
زمستان۳۷
English
)20(
Hindley, J. Roger
Introduction to combinators and ]lambda[-calculus
Cambridge ]Cambridgeshire[
Cambridge University Press
1986
360 p. : ill. ; 24 cm
London Mathematical Society student texts, 1
Bibliography: p. 340-352
Includes index
، Combinatory logic
، Lambda calculus
QA
9
.
5
.
H56
1986
AU
J. Roger Hindley, Jonathan P. Seldin
AU .P .J ,nidleS
TI
SE
02
