Univalence for inverse diagrams and homotopy canonicity - SHULMAN, MICHAEL (Mathematical structures in computer science, 2015)
Keywords: Gluing; Homotopy theory; Universe