UF IAS 2012 Archive
Universes
Skip the Navigation Links
|
Home Page
|
All Pages
|
Here are some resources on Universes in type theory:
Notes from Zhaohui Luo’s talk are
here
.
Feel free to add more.
Created on April 19, 2018 at 21:16:58 by
Univalent foundations special year 2012