Hacker News new | ask | show | jobs
From Set Theory to Type Theory (2013) (golem.ph.utexas.edu)
2 points by nolta 1799 days ago