Skip to Main content Skip to Navigation
Conference papers

Cubical Synthetic Homotopy Theory

Complete list of metadata

Cited literature [36 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02394145
Contributor : Loïc Pujet <>
Submitted on : Monday, January 13, 2020 - 10:54:52 AM
Last modification on : Tuesday, January 5, 2021 - 4:26:24 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

Anders Mörtberg, Loïc Pujet. Cubical Synthetic Homotopy Theory. CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, United States. pp.1-14, ⟨10.1145/3372885.3373825⟩. ⟨hal-02394145⟩

Share

Metrics

Record views

302

Files downloads

534