Types as sets of values

Ideals -- over $V$

Type system

subtypes correspond to subsets



slide: The interpretation of types as sets