• + : ∧[ Int \* Int − > Int, Real \* Real − > Real]

  • Int − > Int < = ∧[ Int − > Int, Real − > Real ]

  • Msg − > Obj1 / Msg − > Obj2 < = Msg − > ∧[ Obj1, Obj2 ]


slide: Intersection types -- examples