Corecursion up-to via causal transformations
From MaRDI portal
Publication:2104483
DOI10.1007/978-3-031-10736-8_7OpenAlexW4286600857MaRDI QIDQ2104483
Jurriaan Rot, Damien Pous, Ruben Turkenburg
Publication date: 7 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-10736-8_7
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A general account of coinduction up-to
- On the final sequence of a finitary set functor
- On the greatest fixed point of a set functor
- Simulations in coalgebra
- Algebraically compact functors
- Structural induction and coinduction in a fibrational setting
- Categorical logic and type theory
- Combining a monad and a comonad
- Distributive laws for the coinductive solution of recursive equations
- Well-behaved Translations between Structural Operational Semantics
- Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
- Companions, Codensity and Causality
- Complete Lattices and Up-To Techniques
- Corecursive Algebras: A Study of General Structured Corecursion
- On the bisimulation proof method
- Generalised coinduction
- Coinductive predicates and final sequences in a fibration
- Coinduction up-to in a fibrational setting
- Coinduction All the Way Up
- Topological functors
- Generalised Coinduction
- Up-To Techniques for Behavioural Metrics via Fibrations
- A final coalgebra theorem
- Fibrational bisimulations and quantitative reasoning: Extended version
- Presenting Morphisms of Distributive Laws
- Enhanced coalgebraic bisimulation
- The Largest Respectful Function
