8 citations · 19 across the 10 of their papers we have counts for
1 paper · 2 filters
Thierry Coquand, Henri Lombardi, Claude Quitté
We study a notion of dimension which was introduced by R. Heitmann in his remarkable paper in 1984, and also a related notion, implicit in the proofs in his paper. We develop these…