6 citations · 16 across the 11 of their papers we have counts for
1 paper · 1 filter
Tom de Jong, Martín Hötzel Escardó
We develop domain theory in constructive univalent foundations without Voevodsky's resizing axioms. In previous work in this direction, we constructed the Scott model of PCF and pr…