Univalent Foundations Program
Language: English
Mathematics homotopy theory type theory univalence axiom