Search Results - "univalent foundations"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Truncation levels in homotopy type theory by Kraus, Nicolai

    Published 2015
    “…This solves a hitherto open problem of the 2012/13 special year program on Univalent Foundations at the Institute for Advanced Study (Princeton). …”
    Get full text