Pages that link to "Item:Q1318731"
From MaRDI portal
The following pages link to Additions and corrections to ``Terminal coalgebras in well-founded set theory'' (Q1318731):
Displaying 19 items.
- Towards the critical problem: On the coalgebraic relation between sets and multisets (Q685583) (← links)
- Corrigendum to: ``The category theoretic solution of recursive program schemes'' [Theoret. Comput. Sci. 366 (2006) 3-59] (Q944390) (← links)
- A logic of implications in algebra and coalgebra (Q1047097) (← links)
- Coalgebraic logic (Q1295427) (← links)
- On coalgebra based on classes (Q1434346) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- Saturated Kripke structures as Vietoris coalgebras (Q2104479) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- Final coalgebras and a solution theorem for arbitrary endofunctors (Q2842550) (← links)
- On rational monads and free iterative theories (Q2842813) (← links)
- Coalgebraic Representation Theory of Fractals (Q3178264) (← links)
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces (Q4236207) (← links)
- Modal Languages for Coalgebras in a Topological Setting (Q4917043) (← links)
- Mongruences and cofree coalgebras (Q5096389) (← links)
- Well-founded coalgebras, revisited (Q5361146) (← links)
- Fixed Points of Functors - A Short Abstract (Q5739445) (← links)
- Covarieties and complete covarieties (Q5941160) (← links)