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.
I have a question about the book:
‘Introduction to Homotopy Type Theory - Rijke, Egbert (The Johns Hopkins University’.
Fill in the form below.
We will respond as fast as possible.
