#type theory #set theory #superset #subtype #programming languages #formal methods #mathematical type