Pages that link to "Item:Q672316"
From MaRDI portal
The following pages link to On the greatest fixed point of a set functor (Q672316):
Displayed 10 items.
- On the final sequence of a finitary set functor (Q557796) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- Category theory for operational semantics (Q703525) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- On final coalgebras of continuous functors (Q1398459) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- A small final coalgebra theorem (Q1575951) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)