勋章
发表于 2025-3-30 09:31:49
http://reply.papertrans.cn/23/2288/228707/228707_51.png
maudtin
发表于 2025-3-30 12:36:22
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.