Intersection type discipline
subject: Category:Theory of computation
subject: Category:Type systems
description: branch of type theory
subject: Category:Polymorphism (computer science)
subject: Category:Type theory
subject: Category:Lambda calculus