Homotopy Type Theory for Dummies

 (chriswarbo.net)

1 points | by todsacerdoti 15 hours ago ago

No comments yet.