Homotopy Type Theory
Andrew M. Pitts

Homepage

Andrew Pitts

category: people