Paradoxes and Russell's Type Theories.
Simple Type Theory and the λ -Calculus.
Ramified Hierarchy and Impredicative Principles.
Type Theory/Set Theory.
Type Theory/Category Theory.
Extensions of Type System, Polymorphism, Paradoxes.
Univalent Foundations.