Quotienting the Delay Monad by Weak Bisimilarity.

James Chapman, Tarmo Uustalu, Niccol Veltri

Browse the full ICTAC paper archive.