EasyChair Smart Slide
Intersection Subtyping with Constructors
Intersection Subtyping with Constructors