Definition
Type Substitution
A type substitution is a finite partial map from type variables to types.
Formally, for a set
of type variables and a universe of types, Applying
to a type means replacing every type variable occurring in by .
Type Substitution
A type substitution is a finite partial map from type variables to types.
Formally, for a set
of type variables and a universe of types, Applying
to a type means replacing every type variable occurring in by .