Homotopy Type Theory
Peter LeFanu Lumsdaine
Homepage
Peter LeFanu Lumsdaine
category:
people