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 develop the theory of continuous and algebraic domains in constructive and predicative univalent foundations, building upon our earlier work on basic domain theory in this setti…