• α abstraction - maps σ values to τ values

  • ρ renaming - maps subtype to supertype methods

  • ξ extension - explains effects of extra methods


slide: The subtype correspondence mapping