What is the relation between types and runtime values?

Type is a static approximation of the runtime behavior of values computed by a term.