The following pages link to Infinite intersection types (Q1887155):
Displaying 5 items.
- Intersection types and domain operators (Q1434348) (← links)
- Type preorders and recursive terms (Q2851083) (← links)
- Untyped Recursion Schemes and Infinite Intersection Types (Q3557861) (← links)
- Infinite products of recursive equivalence types (Q5551455) (← links)
- Full intersection types and topologies in lambda calculus (Q5943119) (← links)