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
24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
1868-8969 (ISSN)
Vol. 41 359-373Fundament
Grundläggande vetenskaper
Ämneskategorier
Datavetenskap (datalogi)
DOI
10.4230/LIPIcs.CSL.2015.359
ISBN
978-3-939897-90-3