From Set theory to type theory

https://golem.ph.utexas.edu/category/2013/01/from_set_theory_to_type_theory.html

Advertisements
This entry was posted in homotopy type theory, Théorie des ensembles (set theory). Bookmark the permalink.