Pages that link to "Item:Q4779581"

The following pages link to Intersection types for lambda-terms and combinators and their logics (Q4779581):

Displaying 2 items.

• A typed lambda calculus with intersection types (Q930870) (← links)
• A classification of intersection type systems (Q4532620) (← links)