Abstract Data Types
-- representation function
α(ξ)( α(φ)) = α(φ′) \desdak ξ(φ) = φ′
slide
:
Abstraction