Polymorphism stands for the idea that a variable can refer to objects of several different types

The static type of a variable is the type of variable, as declared

The dynamic type of a variable is type of object to which the variable refers

Dynamic binding is in effect if the dynamic type of a variable v determines the operation activated by v.op(...)