Title: Modern Perspective on Type Theory
Subjects: Logic, symbolic and mathematical