Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory

Project: Research project

Project Details

Description

Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
StatusActive
Effective start/end date1/15/211/14/22

Funding

  • University of San Diego