Functions out of Higher Truncations
Paper in proceeding, 2015
constancy on loop spaces
homotopy type theory
truncation elimination
Author
Paolo Capriotti
University of Nottingham
Nicolai Kraus
University of Nottingham
Andrea Vezzosi
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 41 359-373978-3-939897-90-3 (ISBN)
Roots
Basic sciences
Subject Categories
Computer Science
DOI
10.4230/LIPIcs.CSL.2015.359
ISBN
978-3-939897-90-3