TY  - RPRT
TI  - Sensible Intersection Type Theories
AU  - Mariangiola Dezani-Ciancaglini
AU  - Besik Dundua
AU  - Paola Giannini
AU  - Furio Honsell
PY  - 2026
DO  - 10.4204/eptcs.441.8
UR  - https://arxiv.org/abs/2603.04004
ID  - 2603.04004
ER  -