1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Matthias Eberl
Denotational models of type theory, such as set-theoretic, domain-theoretic, or category-theoretic models use (actual) infinite sets of objects in one way or another. The potential…