Monthly Archives: April 2012
HoTT Updates
Many updates have been made to the various other pages on the site: Code, Events, Links, People, References. For example, there are several new items on models of the Univalence Axiom on the References page.
Posted in Uncategorized
Leave a comment
Homotopy Type Theory 