14
Types
•
We only need rank-0 types (i.e. no
quantifiers)
•
Recall the definition
•
•
Definition
A type t(
x
) over variables (x
1
, …,
x
m
) is conjunction of a maximally consistent
set of atomic formulas over x
1
, …, x
m
•