Homotopy Type Theory
Urs Schreiber

see Urs Schreiber

category: people