5 citations · 9 across the 4 of their papers we have counts for
1 paper · 2 filters
Luis Scoccola
We develop the basic theory of nilpotent types and their localizations away from sets of numbers in Homotopy Type Theory. For this, general results about the classifying spaces of…