Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.
Ik heb een vraag over het boek: ‘The Code of Mathematics - Muller-Stach, Stefan’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
