Andrew M. Pitts (pitts-am)

Contributi a Philosophie.ch

Bibliography

Pitts, Andrew M. 2000. “Categorial Logic.” in Handbook of Logic in Computer Science. Volume 5. Logic and Algebraic Methods, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 39–127. Oxford: Oxford University Press.
Pitts, Andrew M. and Dybjer, Peter. 1997. Semantics and Logics of Computation. Cambridge: Cambridge University Press.