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.