Homotopy Type Theory
The join construction (history)

February 19, 2019

February 14, 2019