Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate s

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.

In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introducti