Intersection Types via Finite-Set Declarations

Fairouz Kamareddine, Joe Wells

The lambda-cube is a famous pure type system (PTS) cube of eight powerful explicit type systems that include the simple, polymorphic and dependent type theories. The lambda-cube on…