Archives quotidiennes :

Introduction to univalent foundations for mathematicians

https://arxiv.org/pdf/1711.01477.pdf

Publicités