@misc{indiciae704e9121148e,
  title = {Principal Typing for Intersection Types, Forty-Five Years Later},
  author = {Daniele Pautasso and Simona Ronchi Della Rocca},
  year = {2026},
  doi = {10.4204/eptcs.441.14},
  url = {https://arxiv.org/abs/2603.04018},
  note = {Source identifier: 2603.04018}
}