Pitts, Andrew M. Ed. Dybjer, Peter. Ed.
Semantics and Logics of Computation - Cambridge Cambridge University press 1997 - 361p - Publications of the Newton Institute .
0 521 58057 9
Semantics and Logics of Computation
681.3.01 PIT
Semantics and Logics of Computation - Cambridge Cambridge University press 1997 - 361p - Publications of the Newton Institute .
0 521 58057 9
Semantics and Logics of Computation
681.3.01 PIT