TY  - RPRT
TI  - Retractions in Intersection Types
AU  - Mario Coppo
AU  - Mariangiola Dezani-Ciancaglini
AU  - Alejandro Díaz-Caro
AU  - Ines Margaria
AU  - Maddalena Zacchi
PY  - 2017
DO  - 10.4204/eptcs.242.5
UR  - https://arxiv.org/abs/1702.02274
ID  - 1702.02274
ER  -