Tom de Jong

Continuous and algebraic domains in univalent foundations

2025 · Journal of Pure and Applied Algebra

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 setting. That we work predicatively means that we do …