NTHRYS › PhD Assistance › Pure Mathematics

Pure Mathematics

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Homotopy Type Theory and Univalent Foundations

Develops homotopy type theory foundations for mathematics including univalent axioms and higher inductive types.