Subtle non-implication in corneringsLast updated Feb 3, 2024Why proarrows are not the algebra of messagesThe Structure of Concurrent Process Histories (Nester, 2020)
