Pitts, A. M., Dybjer, P., & Pitts, A. M. (1997). Semantics and logics of computation. Cambridge: Cambridge University Press.
Παραπομπή Chicago StylePitts, A. M., Peter Dybjer, and Andrew M. Pitts. Semantics and Logics of Computation. Cambridge: Cambridge University Press, 1997.
Παραπομπή MLAPitts, A. M., Peter Dybjer, and Andrew M. Pitts. Semantics and Logics of Computation. Cambridge: Cambridge University Press, 1997.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.