@misc{indiciaeed3e7a0efcee, title = {Strong Normalisation for Asynchronous Effects}, author = {Danel Ahman and Ilja Sobolev}, year = {2026}, url = {https://arxiv.org/abs/2602.05528}, note = {Source identifier: 2602.05528} }