Homotopy Type Theory
natural model (history)

May 30, 2014