From Set Theory to Type Theory (2013) #1 Post by nolta » Tue, Jul 20, 2021, 2:30 AM UTC From Set Theory to Type Theory (2013)golem.ph.utexas.edu