Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Homotopy Type Theory and Univalence

Develops foundational system combining type theory with homotopy topology enabling synthetic mathematics in proof assistants.