@misc{indiciae42e0946ad026,
  title = {From Semantics to Types: the Case of the Imperative lambda-Calculus},
  author = {Ugo de'Liguoro and Riccardo Treglia},
  year = {2021},
  doi = {10.4204/eptcs.351.11},
  url = {https://arxiv.org/abs/2112.14053},
  note = {Source identifier: 2112.14053}
}