Pages that link to "Item:Q2367542"
From MaRDI portal
The following pages link to Terminal coalgebras in well-founded set theory (Q2367542):
Displayed 37 items.
- On the final sequence of a finitary set functor (Q557796) (← links)
- On the greatest fixed point of a set functor (Q672316) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← 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)
- An institution of modal logics for coalgebras (Q2369032) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Fundamental constructions for coalgebras, corings, and comodules. (Q2426118) (← links)
- A simplification functor for coalgebras (Q2469042) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- Recursive coalgebras of finitary functors (Q3512598) (← links)
- A Note on Hyperspaces and Terminal Coalgebras (Q4256321) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← 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)