1. Lambda-calculus, combinators, and functional programming
پدیدآورنده : Revesz, Gyorgy E.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Lambda calculus,، Combinatory logic,، Functional programming languages
رده :
QA
9
.
5
.
R48
1988