ncatlab.org

UF-IAS-2012 (changes) in nLab

Showing changes from revision #2 to #3: Added | Removed | Changed

A research program at IAS in 2012 on homotopy type theory.

Last revised on June 23, 2013 at 18:25:46. See the history of this page for a list of all contributions to it.