Lambda-calculus, combinators, and functional programming
G. E. Revesz
Bok Engelsk 1988 György E. Révész
Utgitt | Cambridge : Cambridge University Press , 1988
|
---|---|
Omfang | x, 181 s. : ill.
|
Emner | Combinatory logic
Functional programming languages Lambda calculus lambda-kalkyle programmeringsspråk symbolsk logikk |
ISBN | 0521345898
|