Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
I have a question about the book:
'Type Theory and Formal Proof - Nederpelt, Rob (Technische Universiteit Eindhoven, Geuvers, Herman (Radboud Universiteit Nijmegen)'.
Fill in the form below.
We will respond as fast as possible.
We value your privacy
We use cookies to measure traffic, improve Boekstra and let Google tailor ads to your interests. You can keep using the site either way — even if you decline. More info
