@article{mangel-2026-classical, title={Classical Notions of Computation and the Hasegawa-Thielecke Theorem}, volume={10}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3776715}, DOI={10.1145/3776715}, number={POPL}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Mangel, Éléonore and Melliès, Paul-André and Munch-Maccagnoni, Guillaume}, year={2026}, month=Jan, pages={2112–2141} }