DO NOT USE - Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory

Project: Research project

Project Details

Description

DO NOT USE - Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
StatusFinished
Effective start/end date1/15/211/16/21

Funding

  • University of California San Diego