Intuitionistic type theory. Studies in proof theory, Bibliopolis (1984)

by P Martin-Löf