25 citations · 45 across the 10 of their papers we have counts for
1 paper · 2 filters
Anthony Bordg
This PhD thesis deals with some new models of intensional type theory and the Univalence Axiom introduced by Vladimir Voevodsky. Our work takes place in the framework of the defini…