Homotopy Type Theory
If you are reading this then no extra material has yet been placed on the Web for this course.
Course materials
Department of Computer Science and Technology
Course pages 2026–27 (working draft)
If you are reading this then no extra material has yet been placed on the Web for this course.
© 2026 Department of Computer Science and Technology, University of Cambridge
Information provided by Dr Jon Sterling – edit page