Homotopy Type Theory
model of type theory in an (infinity,1)-topos (history)

November 12, 2019

March 13, 2019

June 24, 2015

April 13, 2015

November 21, 2014

October 24, 2014

October 17, 2014

October 1, 2014

May 30, 2014

May 14, 2014

May 10, 2014

May 9, 2014

May 3, 2014

May 2, 2014

February 18, 2014