74 citations · 888 across the 55 of their papers we have counts for
1 paper · 1 filter
Urs Schreiber, Michael Shulman
We implement in the formal language of homotopy type theory a new set of axioms called cohesion. Then we indicate how the resulting cohesive homotopy type theory naturally serves a…