Partial Univalence in n-truncated Type Theory

Document Details

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

Entities

People

  • Andrea Vezzosi
  • Christian Sattler

Organizations

  • Chalmers University of Technology
  • IT University of Copenhagen
  • United States Air Force
  • Villum Foundation