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

Bibliotek som har denne