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