On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
From MaRDI portal
Publication:4236207
Recommendations
- Models of non-well-founded sets via an indexed final coalgebra theorem
- Terminal coalgebras in well-founded set theory
- Well-founded coalgebras, revisited
- A note on expressive coalgebraic logics for finitary set functors
- Finality regained: A coalgebraic study of Scott-sets and multisets
- Additions and corrections to ``Terminal coalgebras in well-founded set theory
- On well-founded and recursive coalgebras
- Logical construction of final coalgebras
- scientific article; zbMATH DE number 5041185
- A complete logic for behavioural equivalence in coalgebras of finitary set functors
Cited in
(40)- Co-induction in relational semantics
- The semantics of the combination of atomized statements and parallel choice
- Additions and corrections to ``Terminal coalgebras in well-founded set theory
- Semantics for finite delay
- On coalgebra based on classes
- A behavioural pseudometric for probabilistic transition systems
- Distributivity of categories of coalgebras
- Hausdorff coalgebras
- Recursively defined metric spaces without contraction
- Approximating and computing behavioural distances in probabilistic transition systems
- Many-sorted coalgebraic modal logic: A model-theoretic study
- Final coalgebras and a solution theorem for arbitrary endofunctors
- Towards coalgebraic behaviourism
- Computable functions on final coalgebras
- Domain equations based on sets with families of pre-orders.
- A single complete relational rule for coalgebraic refinement
- Natural duality, modality, and coalgebra
- scientific article; zbMATH DE number 1070619 (Why is no real title available?)
- Extending set functors to generalised metric spaces
- Final coalgebras as greatest fixed points in ZF set theory
- Process Calculi à la Bird-Meertens
- Modal languages for coalgebras in a topological setting
- (Metric) bisimulation games and real-valued modal logics for coalgebras
- Quantitative Kleene coalgebras
- Models of non-well-founded sets via an indexed final coalgebra theorem
- On the final sequence of a finitary set functor
- A structural co-induction theorem
- A coalgebraic presentation of structured transition systems
- Parametric corecursion
- The category-theoretic solution of recursive metric-space equations
- Coalgebras in functional programming and type theory
- Sum and tensor of quantitative effects
- Monoidal streams for dataflow programming
- Elements of generalized ultrametric domain theory
- A unifying categorical view of nondeterministic iteration and tests
- Coinductive streams in monoidal categories
- Stone coalgebras
- On the computational complexity of bisimulation, redux
- The graph conception of set
- Non-well-founded trees in categories
This page was built for publication: On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4236207)
