"A survey of homotopy type theory"
"A survey of homotopy type theory"
Thu, 01/11/2012
11:00
Francisko Simkevich
Advanced Class Logic
SR1
"A survey of homotopy type theory"
Mathematical Institute
Home
Contact Us
New Building Project
Supporting Mathematics
Information for:
Prospective Students
Current Students
Departmental Members
Alumni & Friends
Visitors
Information about:
Vacancies
People
Research
Events
Notices
About Us
User login
Username:
*
Password:
*
OU Webauth (Undergraduates)
