Titlebook: Coalgebraic Methods in Computer Science; 11th International W Dirk Pattinson,Lutz Schr?der Conference proceedings 2012 IFIP International F

勛章

maudtin

Tracing the Man in the Middle in Monoidal Categories,tive, i.e. coalgebraic structure over terms and messages used in computation and communication. The correspondence is established using a convenient monadic description of normally traced monoidal categories.