Homotopy Type Theory
Guillaume Brunerie

Homepage

Guillaume Brunerie

category: people