Corecursion up-to via causal transformations
From MaRDI portal
Publication:2104483
Cites work
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 42059 (Why is no real title available?)
- scientific article; zbMATH DE number 3458870 (Why is no real title available?)
- scientific article; zbMATH DE number 1497875 (Why is no real title available?)
- scientific article; zbMATH DE number 7471679 (Why is no real title available?)
- A final coalgebra theorem
- A general account of coinduction up-to
- A ghost at \(\omega_1\)
- Abstract GSOS rules and a modular treatment of recursive definitions
- Algebraically compact functors
- Categorical logic and type theory
- Coalgebraic behavioral metrics
- Coinduction All the Way Up
- Coinduction up-to in a fibrational setting
- Coinductive predicates and final sequences in a fibration
- Combining a monad and a comonad
- Companions, causality and codensity
- Companions, codensity and causality
- Complete Lattices and Up-To Techniques
- Corecursive algebras: a study of general structured corecursion
- Distributive laws for the coinductive solution of recursive equations
- Enhanced coalgebraic bisimulation
- Fibrational bisimulations and quantitative reasoning: extended version
- Generalised coinduction
- Generalised coinduction
- Generalizing the powerset construction, coalgebraically
- On the bisimulation proof method
- On the final sequence of a finitary set functor
- On the greatest fixed point of a set functor
- Presenting Morphisms of Distributive Laws
- Recursion schemes from comonads
- Simulations in coalgebra
- Structural induction and coinduction in a fibrational setting
- The largest respectful function
- Topological functors
- Up-to techniques for behavioural metrics via fibrations
- Well-behaved translations between structural operational semantics
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)