Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk).

Filippo Bonchi, Elena Di Lavore, Mario Romn

Browse the full CALCO paper archive.