Homotopy Type Theory
Stuart Presnell

Homepage

Stuart Presnell

category: people