Corecursion up-to via causal transformations

DOI10.1007/978-3-031-10736-8_7MaRDI QIDQ2104483zbMATH OpenOpenAlexFDO

Authors Damien Pous, Jurriaan Rot, Ruben Turkenburg

Publication date 7 December 2022

Full work available at URL https://doi.org/10.1007/978-3-031-10736-8_7

zbMATH Keywords

coalgebracoinductioncorecursionfinal sequence

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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)