nLab
UF-IAS-2012

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