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

Laws

$( %l x.M) N = M [ x := N ]$ \zline{conversion}
$M = N => MZ = NZ$ and $ZM = ZN$
$M = N => %l x.M = %l x.N$

slide: The lambda calculus -- laws