Homotopy Type Theory On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory, Floris van Doorn, Ph.D. Thesis 2018

Links

• arXiv:1808.10690
• hompage link
• wayback machine link

See also

• Spectral sequence
• cohomology
• Synthetic homotopy theory
• References