Homotopy Type Theory
Denis-Charles Cisinski

see Denis-Charles Cisinski

category: people