Langmead, G. (2025). Discrete differential geometry in homotopy type theory.
Chicago Style (17th ed.) CitationLangmead, Greg. Discrete Differential Geometry in Homotopy Type Theory. 2025.
MLA (9th ed.) CitationLangmead, Greg. Discrete Differential Geometry in Homotopy Type Theory. 2025.
Warning: These citations may not always be 100% accurate.