Introduction to dependent type theory CIRM, May 30 Introduction to dependent type theory Goals of this presentation Some history and motivations Notations used in type theory…