34 citations · 95 across the 15 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2022★ 4 cited
Introduction to Homotopy Type Theory
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…
math.LO2019★ 4 cited
Classifying Types
Egbert Rijke
The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the…