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