Sequential Colimits in Homotopy Type Theory

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 08, 2020
Source ID
10.1145/3373718.3394801

Entities

People

  • Egbert Rijke
  • Floris Van Doorn
  • Kristina Sojakova

Organizations

  • Air Force Office of Scientific Research
  • Cornell University
  • National Science Foundation
  • University of Ljubljana
  • University of Pittsburgh