Pages that link to "Item:Q2367542"
From MaRDI portal
The following pages link to Terminal coalgebras in well-founded set theory (Q2367542):
Displayed 50 items.
- Relation lifting, a survey (Q299182) (← links)
- Fixed points of set functors: how many iterations are needed? (Q328655) (← links)
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
- Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
- A coalgebraic perspective on linear weighted automata (Q418134) (← links)
- Relatively terminal coalgebras (Q456862) (← links)
- Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
- On the final sequence of a finitary set functor (Q557796) (← links)
- Complete sets of cooperations (Q618169) (← links)
- A general theory of self-similarity (Q626101) (← links)
- On coalgebras over algebras (Q639641) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- On the greatest fixed point of a set functor (Q672316) (← links)
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\) (Q742033) (← links)
- The graph conception of set (Q742483) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Coalgebraic constructions of canonical nondeterministic automata (Q890382) (← links)
- Terminal metric spaces of finitely branching and image finite linear processes (Q1128985) (← links)
- A fixpoint approach to finite delay and fairness (Q1129259) (← links)
- Algebraically compact functors (Q1208195) (← links)
- The construction of cofree coalgebras (Q1208226) (← links)
- Coalgebraic logic (Q1295427) (← links)
- Additions and corrections to ``Terminal coalgebras in well-founded set theory'' (Q1318731) (← links)
- Trees and semantics (Q1391740) (← links)
- Semantics for finite delay (Q1392281) (← links)
- On final coalgebras of continuous functors (Q1398459) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- A hidden agenda (Q1575735) (← links)
- A small final coalgebra theorem (Q1575951) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- On tree coalgebras and coalgebra presentations (Q1884936) (← links)
- De Bakker-Zucker processes revisited (Q1887161) (← links)
- The Burnside algebra of a quasigroup. (Q1887599) (← links)
- Resource bisimilarity and graded bisimilarity coincide (Q1944040) (← links)
- Hausdorff coalgebras (Q2024924) (← links)
- Saturated Kripke structures as Vietoris coalgebras (Q2104479) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference (Q2341698) (← links)
- On finitary functors and their presentations (Q2341699) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- An institution of modal logics for coalgebras (Q2369032) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Infinitary rewriting: closure operators, equivalences and models (Q2376981) (← links)
- Fundamental constructions for coalgebras, corings, and comodules. (Q2426118) (← links)
- A description based on languages of the final non-deterministic automaton (Q2449045) (← links)
- A simplification functor for coalgebras (Q2469042) (← links)