λ(self).{a
1
= e
1
, …, a
n
= e
n
}
slide
:
A calculus for recursive types