Pages that link to "Item:Q2367542"

The following pages link to Terminal coalgebras in well-founded set theory (Q2367542):

Displaying 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)
• Towards the critical problem: On the coalgebraic relation between sets and multisets (Q685583) (← 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)