Nordström, Bengt,
Petersson, K. and
Smith, J. M. 2000.
“Martin-Löf’s Type Theory.” 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. 1–38. Oxford: Oxford University Press.