TY  - BOOK
AU  - Pitts, Andrew M. Ed.
AU  - Dybjer, Peter. Ed.
TI  - Semantics and Logics of Computation
SN  - 0 521 58057 9
CY  - Cambridge
KW  - Semantics and Logics of Computation
ER  -