An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200 exercises provide ample practice material.
Ik heb een vraag over het boek:
‘Introduction to Homotopy Type Theory - Rijke, Egbert (The Johns Hopkins University’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
