Strong Normalisation for Asynchronous Effects.

Danel Ahman, Ilja Sobolev

Browse the full FSCD paper archive.