@misc{indiciaed674daa155d7,
  title = {Towards a Semantic Characterisation of Global Type Well-formedness},
  author = {Ilaria Castellani and Paola Giannini},
  year = {2024},
  doi = {10.4204/eptcs.401.2},
  url = {https://arxiv.org/abs/2404.00446},
  note = {Source identifier: 2404.00446}
}