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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha