topical slide(s): creative technology / new media / game development(s)

Inheritance -- C = P + M

$P = %l( self ).{ a1 = e1,...,a_n = e_n }$
$C = %l( self ).P( self )$ $\with$ \ifsli{\n}{} ${ a1' = e1',...,a_k' = e_k' }$

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

$P : %s -> %s$ $=>$ $\Y(P):%s$
$C = %l(s).M(s)(P(s)) : %t -> %t$ $=>$ $\Y(C):%t$

slide: Inheritance semantics -- self-reference