Homotopy Canonicity of Homotopy Type Theory
Abstract:
I will outline a proof (joint with Christian Sattler) of Voevodsky's Homotopy Canonicity Conjecture.
Abstract:
I will outline a proof (joint with Christian Sattler) of Voevodsky's Homotopy Canonicity Conjecture.
Abstract: