Foundations and Applications of Univalent Mathematics

less than 1 minute read

Herrsching, Germany, 2019