NTHRYS › PhD Assistance › Topology Geometry

Topology Geometry

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Homotopy Type Theory and Univalent Foundations

Develops computational foundations for topology using homotopy type theory and constructs topological invariants in formal systems.