Homotopy Type Theory
model invariance problem (history)

May 10, 2014

March 11, 2014