From Set Theory to Type Theory (2013)golem.ph.utexas.edu2 points·dboreham··0 commentsOpen articleSaveView on HN