Toroidal geometry and non-archimedean analytic geometry. Application to the homotopy type of certain formal schemes

From MaRDI portal