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
