Effectful Trace Semantics via Effectful Streams

Last updated May 2, 2024