nLab
UF-IAS-2012

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

Revised on June 23, 2013 18:25:46 by Urs Schreiber (89.204.137.209)