topical slide(s): creative technology / new media / game development(s)

Examples

$+ : \bigwedge [ Int \* Int -> Int, Real \* Real -> Real]$
$Int -> Int <= \bigwedge [ Int -> Int, Real -> Real ]$
$Msg -> Obj1 /\ Msg -> Obj2 <= Msg -> \bigwedge [ Obj1, Obj2 ]$

slide: Intersection types -- examples