Pages that link to "Item:Q2367542"

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

Displaying 50 items.

• A simplification functor for coalgebras (Q2469042) (← links)
• Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
• Terminal coalgebras and free iterative theories (Q2500475) (← links)
• A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
• Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
• On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
• Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
• Definability, canonical models, compactness for finitary coalgebraic modal logic (Q2842556) (← links)
• Observational coalgebras and complete sets of co-operations (Q2873667) (← links)
• On coalgebras over algebras (Q2919449) (← links)
• The p-adic Integers as Final Coalgebra (Q2947469) (← links)
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
• Traces for coalgebraic components (Q3005989) (← links)
• Initial algebras and terminal coalgebras in many-sorted sets (Q3005994) (← links)
• From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
• Final coalgebras in accessible categories (Q3094168) (← links)
• Limits in categories of Vietoris coalgebras (Q3119464) (← links)
• Structural Operational Semantics for Weighted Transition Systems (Q3184746) (← links)
• How to Reason Coinductively Informally (Q3305562) (← links)
• Recursive coalgebras of finitary functors (Q3512598) (← links)
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces (Q4236207) (← links)
• A Note on Hyperspaces and Terminal Coalgebras (Q4256321) (← links)
• Bisimulation for probabilistic transition systems: A coalgebraic approach (Q4571977) (← links)
• (Q4580326) (← links)
• Convergence in infinitary term graph rewriting systems is simple (Q4585010) (← links)
• <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
• A Coalgebraic View of Infinite Trees and Iteration (Q4917030) (← links)
• From Varieties of Algebras to Covarieties of Coalgebras (Q4917031) (← links)
• Algebras, Coalgebras, Monads and Comonads (Q4917035) (← links)
• (Q5009709) (← links)
• (Q5028480) (← links)
• Quotients of Bounded Natural Functors (Q5048992) (← links)
• Convenient category of processes and simulations I: Modulo strong bisimilarity (Q5057463) (← links)
• Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
• (Q5089293) (← links)
• A coalgebraic view on reachability (Q5218979) (← links)
• Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
• Well-founded coalgebras, revisited (Q5361146) (← links)
• Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra (Q5418960) (← links)
• Realization of Coinductive Types (Q5739360) (← links)
• Transitivity and Difunctionality of Bisimulations (Q5739448) (← links)
• Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
• (Q5875353) (← links)
• (Q5875411) (← links)
• Final semantics for a higher order concurrent language (Q5878904) (← links)
• Equational and implicational classes of coalgebras (Q5941159) (← links)
• On the structure of categories of coalgebras (Q5941161) (← links)
• From modal logic to terminal coalgebras (Q5941165) (← links)
• Two applications of analytic functors (Q5958294) (← links)
• A concrete final coalgebra theorem for ZF set theory (Q6061877) (← links)