TY  - RPRT
TI  - Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
AU  - Éléonore Mangel
AU  - Paul-André Melliès
AU  - Guillaume Munch-Maccagnoni
PY  - 2025
DO  - 10.1145/3776715
UR  - https://arxiv.org/abs/2502.13033
ID  - 2502.13033
ER  -