Hacker News new | comments | ask | show | jobs | submit | from login
The weird and wonderful world of constructive mathematics (2017) [pdf] (sandiego.edu)
166 points by lainon 69 days ago | past | web | 68 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: