τ:: = … | μα. τ[α]
e :: = … | λ( self ).{a1 = e
1
, …, a
n
= e
n
}
slide
:
A calculus for recursive types