@misc{indiciae08f1b88f2fa5,
  title = {Intersection Types for a Computational Lambda-Calculus with Global State},
  author = {Ugo de'Liguoro and Riccardo Treglia},
  year = {2025},
  doi = {10.46298/fi.10010},
  url = {https://arxiv.org/abs/2104.01358},
  note = {Source identifier: 2104.01358}
}