Similar Items: Minimality Notions via Factorization Systems and Examples
- Algebraic Notions of Termination
- Relating coalgebraic notions of bisimulation
- Relating two standard notions of secrecy
- Computable analysis and notions of continuity in Coq
- Notions of Anonymous Existence in Martin-Löf Type Theory
- A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications