Рет қаралды 78
Andrei Rodin
Talk at the workshop on Homotopy Type theory, Paris, SPHERE, June 25, 2024