Homotopy Type Theory
References (history)

April 15, 2019

April 1, 2019

March 12, 2019

March 10, 2019

February 19, 2019

February 14, 2019

January 25, 2019

November 1, 2018

October 14, 2018

October 10, 2018

September 28, 2018

April 17, 2018

March 29, 2018

March 20, 2018

March 18, 2018

March 13, 2018

March 6, 2018

March 2, 2018

March 1, 2018

February 13, 2018

November 7, 2017

October 31, 2017

September 11, 2017

September 5, 2017

July 19, 2017

July 14, 2017

June 20, 2017

May 22, 2017

May 14, 2017

May 9, 2017

April 20, 2017

April 19, 2017

January 27, 2017

October 19, 2016

October 17, 2016

October 5, 2016

September 4, 2016

July 15, 2016

June 30, 2016

June 26, 2016

June 25, 2016

June 24, 2016

June 23, 2016

May 21, 2016

May 19, 2016

April 19, 2016

April 1, 2016

March 25, 2016

March 18, 2016

March 17, 2016

February 26, 2016

November 9, 2015

November 8, 2015

November 7, 2015

September 10, 2015

September 1, 2015

August 14, 2015

August 13, 2015

August 12, 2015

June 29, 2015

April 23, 2015

March 28, 2015

December 4, 2014