1..n
slide
:
The intersection type calculus