Homotopy Type Theory

In memoriam: Vladimir Voevodsky

https://www.ias.edu/news/2017/vladimir-voevodsky