Pages that link to "Item:Q672316"
From MaRDI portal
The following pages link to On the greatest fixed point of a set functor (Q672316):
Displaying 31 items.
- On the final sequence of a finitary set functor (Q557796) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← 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)
- A remark on fixed points of functors in topological categories (Q1364915) (← 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)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic (Q2842556) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- On Iteratable Endofunctors (Q2842827) (← links)
- Functorial Coalgebraic Logic: The Case of Many-sorted Varieties (Q2873668) (← links)
- Initial algebras and terminal coalgebras in many-sorted sets (Q3005994) (← links)
- (Q4580326) (← links)
- (Q4637688) (← links)
- A Coalgebraic View of Infinite Trees and Iteration (Q4917030) (← links)
- From Varieties of Algebras to Covarieties of Coalgebras (Q4917031) (← links)
- (Q5009709) (← links)
- Indexed containers (Q5371943) (← links)
- Realization of Coinductive Types (Q5739360) (← links)
- (Q5875353) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers (Q6612803) (← links)
