UF IAS 2012 Archive
Universes
Redirected from "distributive laws".
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