@misc{indiciaef695daaf0357,
  title = {Intersection Types and (Positive) Almost-Sure Termination},
  author = {Ugo Dal Lago and Claudia Faggian and Simona Ronchi Della Rocca},
  year = {2020},
  doi = {10.1145/3434313},
  url = {https://arxiv.org/abs/2010.12689},
  note = {Source identifier: 2010.12689}
}