Homotopy Type Theory : Univalent Foundations of Mathematics,

Books mentioned in System 3 Thinking not reviewed elsewhere
system3
Posts: 159
Joined: Fri Sep 06, 2019 7:43 am

Homotopy Type Theory : Univalent Foundations of Mathematics,

Postby system3 » Wed Nov 20, 2019 1:41 pm

Will this succeed in changing the way mathematics is done?

Return to “Books”

Who is online

Users browsing this forum: No registered users and 4 guests