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 : Thursday, January 16, 2020 - 3:49:30 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

73

Files downloads

21