1 citations · 1 across the 4 of their papers we have counts for
1 paper · 2 filters
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…