@misc{indiciaee5b4f4978e5d,
  title = {Retractions in Intersection Types},
  author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Alejandro Díaz-Caro and Ines Margaria and Maddalena Zacchi},
  year = {2017},
  doi = {10.4204/eptcs.242.5},
  url = {https://arxiv.org/abs/1702.02274},
  note = {Source identifier: 1702.02274}
}