The lambda calculus : its syntax and semantics


H. P. Barendregt
Bok Engelsk 1981
Utgitt
Amsterdam : North-Holland , 1981
Omfang
xiv,615 s. : fig.
Opplysninger
"Exercises" etter hvert kap.. - Har bibliografi.
Emner
ISBN
0444854908

Andre utgaver/formater

The lambda calculus : its syntax and semantics
H. P. Barendregt

Bok · Engelsk · 1984

Bibliotek som har denne