P = λ( self ).{a1 = e1,…,a
n
= e
n
}
C = λ( self ).P( self ) \with {a1′ = e1′,…,a
k
′ = e
k
′}
- \Y(C) = \Y(λ( self ).M( self )(P( self )))
P : σ→ σ ⇒ \Y(P):σ
C = λ(s).M(s)(P(s)) : τ→ τ ⇒ \Y(C):τ
slide
:
Inheritance semantics -- self-reference