UF IAS 2012 Archive Universes

Skip the Navigation Links | Home Page | All Pages |

Here are some resources on Universes in type theory:

Feel free to add more.

Created on April 19, 2018 at 21:16:58 by Univalent foundations special year 2012