Corecursion up-to via causal transformations
type: Item
instance of: scholarly article
title: Corecursion up-to via causal transformations
DOI: 10.1007/978-3-031-10736-8_7
author: Damien Pous
author: Jurriaan Rot
author: Ruben Turkenburg
publication date: 2022-12-07T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 7628070
zbMATH Keywords: coalgebra
zbMATH Keywords: corecursion
zbMATH Keywords: coinduction
zbMATH Keywords: final sequence
MaRDI profile type: Publication
full work available at URL: 978-3-031-10736-8 7
OpenAlex ID: W4286600857
cites work: A final coalgebra theorem
cites work: Q4044767
cites work: On the greatest fixed point of a set functor
cites work: Q4683862
cites work: Algebraically compact functors
cites work: Generalised Coinduction
cites work: Generalised coinduction
cites work: Up-To Techniques for Behavioural Metrics via Fibrations
cites work: Coinduction up-to in a fibrational setting
cites work: A general account of coinduction up-to
cites work: Corecursive Algebras: A Study of General Structured Corecursion
cites work: Q3994895
cites work: Coinductive predicates and final sequences in a fibration
cites work: Structural induction and coinduction in a fibrational setting
cites work: Topological functors
cites work: Simulations in coalgebra
cites work: Categorical logic and type theory
cites work: Distributive laws for the coinductive solution of recursive equations
cites work: Presenting Morphisms of Distributive Laws
cites work: Q5028440
cites work: Q4499306
cites work: Q4580326
cites work: Abstract GSOS rules and a modular treatment of recursive definitions
cites work: Q3992568
cites work: The Largest Respectful Function
cites work: Complete Lattices and Up-To Techniques
cites work: Coinduction All the Way Up
cites work: Companions, Codensity and Causality
cites work: Q5228884
cites work: Combining a monad and a comonad
cites work: Enhanced coalgebraic bisimulation
cites work: On the bisimulation proof method
cites work: Generalizing the powerset construction, coalgebraically
cites work: Fibrational bisimulations and quantitative reasoning: Extended version
cites work: Recursion schemes from comonads
cites work: Well-behaved translations between structural operational semantics
cites work: On the final sequence of a finitary set functor
description: scientific article; zbMATH DE number 7628070