On symmetries of spheres in univalent foundations.

Pierre Cagne, Ulrik Torben Buchholtz, Nicolai Kraus, Marc Bezem

Browse the full LICS paper archive.