9 citations · 15 across the 5 of their papers we have counts for
1 paper · 1 filter
Tom de Jong, Martín Hötzel Escardó
We investigate predicative aspects of constructive univalent foundations. By predicative and constructive, we respectively mean that we do not assume Voevodsky's propositional resi…