Homotopy Type Theory
Peter LeFanu Lumsdaine

Homepage

Peter LeFanu Lumsdaine

category: people