Homotopy Type Theory as Internal Languages of Diagrams of ∞-Logoses.

Taichi Uemura

Browse the full FSCD paper archive.