Homotopy Type Theory
inductive-inductive type (history)

June 25, 2018

June 3, 2014