Why proarrows are not the algebra of messages

Last updated Apr 23, 2024

• message theory
• Cornering Optics (Boisseau, Nester, Román, 2022)
• Concurrent Process Histories and Resource Transducers (Nester, 2022)
• Subtle non-implication in cornerings