Skip to Main content Skip to Navigation
Conference papers

Cubical Synthetic Homotopy Theory

Complete list of metadatas

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 : Wednesday, June 24, 2020 - 4:19:56 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

233

Files downloads

323