Mathematical Logic Foundations

Research Frontiers in Univalence Axiom and Homotopical Equivalence

Study of the univalence axiom and its implications for treating equivalent structures as identical in type theory.

All Mathematical Logic & Foundations PhD categories