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