Inheritance -- C = P + M

Semantics -- $\Y(C) = \Y(%l( self ).M( self )(P( self )))$


slide: Inheritance semantics -- self-reference