Homotopy Type Theory
Andrej Bauer

Homepage

Andrej Bauer

category: people