2023-10-25 – An invitation to univalent foundations of mathematics
Department of Computer Science and Technology
Wednesday Seminar recordings
© 2025 Department of Computer Science and Technology, University of Cambridge
Information provided by [Javascript required]