Christensen, J. Daniel; Opie, Morgan; Rijke, Egbert; Scoccola, Luis:
Localization in Homotopy Type Theory.
(English).Higher Structures,
vol. 4
(2020),
issue 1,
pp. 1-32
Golasiński, Marek: Rational homotopy type of nilpotent and complete spaces.
(English).
In:
Bureš, J.
and Souček, V. (eds.): Proceedings of the Winter School "Geometry and Physics".
Circolo Matematico di Palermo, Palermo, 1989.
pp. [209]-215