82 citations · 120 across the 21 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
math.LO2010
Subspaces of an arithmetic universe via type theory
Maria Emilia Maietti
We define the notion of subspace of an arithmetic universe by using its internal dependent type theory.
math.LO2010★ 1 cited
Subspaces of an arithmetic universe via type theory
Maria Emilia Maietti
We define the notion of subspace of an arithmetic universe by using its internal dependent type theory.