1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Matthias Eberl
We introduce a model of simple type theory with potential infinite carrier sets. The functions in this model are automatically continuous, as defined in this paper. This notion of…