intersection type system

1. REDIRECT Intersection type discipline

{{Redirect category shell|

{{R to related topic}}

{{R printworthy}}

}}