A Minimal Formulation of Session Types: The Sessions of Trios in Concert

@misc{arslanagić2025minimalformulationsession,
      title={A Minimal Formulation of Session Types},
      author={Alen Arslanagić and Jorge A. Pérez and Dan Frumin},
      year={2025},
      eprint={2301.05301},
      archivePrefix={arXiv},
      primaryClass={cs.PL},
      url={https://arxiv.org/abs/2301.05301},
}