Search Results - "univalent foundations"

Truncation levels in homotopy type theory by Kraus, Nicolai

“…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