Hacker News new | comments | show | ask | jobs | submit | from login
The weird and wonderful world of constructive mathematics (2017) [pdf] (sandiego.edu)
164 points by lainon 4 days ago | past | web | 67 comments
Homotopy Type Theory: A synthetic approach to higher equalities (Draft) [pdf] (sandiego.edu)
2 points by igravious on Dec 8, 2015 | past | web

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: