#### Types as sets of values

• $V \approx Int \cup ... \cup V \times V \cup V -> V$

#### Ideals -- over $V$

• subtypes -- ordered by set inclusion
• lattice -- $Top = V$, $Bottom = \emptyset$

#### Type system

subtypes correspond to subsets

• a collection of ideals of V

slide: The interpretation of types as sets