The evolution of type theory in logic and mathematics - Laan, Twan Dismas Laurens (Technische Universität, 1997)