Homotopy Type Theory
Andrew M. Pitts
Homepage
Andrew Pitts
category:
people