Higher Homotopies in a Hierarchy of Univalent Universes

Nicolai Kraus, Christian Sattler. Higher Homotopies in a Hierarchy of Univalent Universes. ACM Trans. Comput. Log., 16(2):18, 2015. [doi]

Abstract

Abstract is missing.