Functions out of Higher Truncations
Paper i proceeding, 2015
constancy on loop spaces
homotopy type theory
truncation elimination
Författare
Paolo Capriotti
University of Nottingham
Nicolai Kraus
University of Nottingham
Andrea Vezzosi
Chalmers, Data- och informationsteknik, Datavetenskap
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 41 359-373978-3-939897-90-3 (ISBN)
Fundament
Grundläggande vetenskaper
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.4230/LIPIcs.CSL.2015.359
ISBN
978-3-939897-90-3