• P = λ( self ).{a1 = e1,…,an = en}

  • C = λ( self ).P( self ) \with {a1′ = e1′,…,ak′ = ek′}

   - \Y(C) = \Y(λ( self ).M( self )(P( self )))
  • P : σ→ σ ⇒ \Y(P):σ
  • C = λ(s).M(s)(P(s)) : τ→ τ ⇒ \Y(C):τ

slide: Inheritance semantics -- self-reference