34 citations · 95 across the 15 of their papers we have counts for
1 paper · 1 filter
Egbert Rijke
This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definiti…