Pages that link to "Item:Q4236207"
From MaRDI portal
The following pages link to On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces (Q4236207):
Displaying 29 items.
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Quantitative Kleene coalgebras (Q532394) (← links)
- On the final sequence of a finitary set functor (Q557796) (← links)
- The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Elements of generalized ultrametric domain theory (Q672055) (← links)
- Stone coalgebras (Q703523) (← links)
- On the computational complexity of bisimulation, redux (Q703845) (← links)
- The graph conception of set (Q742483) (← links)
- Non-well-founded trees in categories (Q876383) (← links)
- The semantics of the combination of atomized statements and parallel choice (Q1267037) (← links)
- Semantics for finite delay (Q1392281) (← links)
- On coalgebra based on classes (Q1434346) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- Distributivity of categories of coalgebras (Q1884878) (← links)
- Hausdorff coalgebras (Q2024924) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study (Q2747941) (← links)
- Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors (Q2842550) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- Domain Equations Based on Sets with Families of Pre-orders (Q2994482) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- Process Calculi à la Bird-Meertens (Q4917032) (← links)
- Modal Languages for Coalgebras in a Topological Setting (Q4917043) (← links)
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
- Parametric corecursion (Q5941163) (← links)
