Guillaume Brunerie, Axel Ljungström, Anders Mörtberg. Synthetic Integral Cohomology in Cubical Agda. In Florin Manea, Alex Simpson, editors, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference). Volume 216 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
Abstract is missing.