type theory

Bad ideas in type theory

September 15, 2017 | 0 Comments

Types as sets and subtypes as subsets.  This may be due to confusing usage in mathematical practice where, for example, we often see references to integers as a subset of [...]