Homotopy Type Theory
David Roberts

See the nLab page.

David Roberts

category: people