Homotopy Type Theory
inductive-recursive type (history)

June 8, 2014

May 9, 2014