Homotopy Type Theory
Martin-Löf Type Theory (history)

May 14, 2014

May 10, 2014

May 9, 2014