Strong Normalisation for Asynchronous Effects

Danel Ahman, Ilja Sobolev

Asynchronous effects of Ahman and Pretnar complement the conventional synchronous treatment of algebraic effects with asynchrony based on decoupling the execution of algebraic oper…