Lambda calculus with types


Henk Barendregt, Wil Dekkers, Richard Statman
Bok Språk ikke angitt 2013 Henk. Barendregt
Medvirkende
Utgitt
Cambridge : Cambridge University Press , cop. 2013
Omfang
XXII, 833 s. : fig.
Opplysninger
På tittelbladet: Association for Symbolic Logic
Emner
Lambda-kalkyle
Typeteori
logikk typeteori typer lambda-kalkyle
Dewey
ISBN
9780521766142

Bibliotek som har denne