6 citations · 16 across the 11 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Domain Theory in Constructive and Predicative Univalent Foundations
Tom de Jong
We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsk…
cs.LO2023★ 4 cited
Set-Theoretic and Type-Theoretic Ordinals Coincide
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg +1
In constructive set theory, an ordinal is a hereditarily transitive set. In homotopy type theory (HoTT), an ordinal is a type with a transitive, wellfounded, and extensional binary…