Algebraic and Coalgebraic Perspectives on Interaction Laws
Abstract elided by the publisher.
Related papers
- Algebras and coalgebras in the light affine Lambda calculus ICFP 2015
- Probabilistic Kleene Algebra with Angelic Nondeterminism PLDI 2025
- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols ESOP 2021
- Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types TOPLAS 2022
- Memoryful geometry of interaction II: recursion and adequacy POPL 2016
- A Coalgebraic Decision Procedure for NetKAT POPL 2015
- Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes POPL 2015
- A Concurrent Calculus with Atomic Transactions ESOP 2007