Corecursion up-to via causal transformations
From MaRDI portal
Publication:2104483
DOI10.1007/978-3-031-10736-8_7OpenAlexW4286600857MaRDI QIDQ2104483FDOQ2104483
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
- Structural induction and coinduction in a fibrational setting
- Categorical logic and type theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the final sequence of a finitary set functor
- A final coalgebra theorem
- Combining a monad and a comonad
- On the bisimulation proof method
- Coinduction up-to in a fibrational setting
- Simulations in coalgebra
- Topological functors
- Algebraically compact functors
- Distributive laws for the coinductive solution of recursive equations
- Abstract GSOS rules and a modular treatment of recursive definitions
- Generalised coinduction
- Generalizing the powerset construction, coalgebraically
- Complete Lattices and Up-To Techniques
- Title not available (Why is that?)
- A general account of coinduction up-to
- Enhanced coalgebraic bisimulation
- On the greatest fixed point of a set functor
- Well-behaved translations between structural operational semantics
- Recursion schemes from comonads
- Corecursive algebras: a study of general structured corecursion
- Title not available (Why is that?)
- Fibrational bisimulations and quantitative reasoning: Extended version
- Coinduction All the Way Up
- Title not available (Why is that?)
- Up-To Techniques for Behavioural Metrics via Fibrations
- Companions, Codensity and Causality
- Title not available (Why is that?)
- Coinductive predicates and final sequences in a fibration
- Generalised Coinduction
- Title not available (Why is that?)
- Presenting Morphisms of Distributive Laws
- The Largest Respectful Function
This page was built for publication: Corecursion up-to via causal transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104483)
