@misc{indiciaed06cb3f6b8d0,
  title = {Intersection Types for the Computational lambda-Calculus},
  author = {Ugo de'Liguoro and Riccardo Treglia},
  year = {2020},
  url = {https://arxiv.org/abs/1907.05706},
  note = {Source identifier: 1907.05706}
}