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 | |
Dewey | |
ISBN | 9780521766142
|