Partial Univalence in n-truncated Type Theory
Paper in proceeding, 2020
cubical type theory
homotopy type theory
univalence
Author
Christian Sattler
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Andrea Vezzosi
IT University of Copenhagen
ACM International Conference Proceeding Series
807-819 3394759
978-145037104-9 (ISBN)
Saarbrucken, Germany,
Subject Categories
Algebra and Logic
Geometry
Mathematical Analysis
DOI
10.1145/3373718.3394759