Similar Items: Algebraic Notions of Termination
- Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
- Relating coalgebraic notions of bisimulation
- Relating two standard notions of secrecy
- Computable analysis and notions of continuity in Coq
- Minimality Notions via Factorization Systems and Examples
- Notions of Anonymous Existence in Martin-Löf Type Theory