The Evolution of Type Theory in Logic and Mathematics (1997)

by T Laan