Pages that link to "Item:Q557796"
From MaRDI portal
The following pages link to On the final sequence of a finitary set functor (Q557796):
Displaying 40 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Fixed points of set functors: how many iterations are needed? (Q328655) (← links)
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Relatively terminal coalgebras (Q456862) (← links)
- Equational properties of iterative monads (Q618163) (← links)
- Coequational logic for accessible functors (Q618173) (← links)
- On coalgebras over algebras (Q639641) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- A logic of implications in algebra and coalgebra (Q1047097) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- Completely iterative algebras and completely iterative monads (Q1767976) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- A description based on languages of the final non-deterministic automaton (Q2449045) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- Coequational Logic for Finitary Functors (Q2873671) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- On Coalgebras over Algebras (Q2919449) (← links)
- Pointwise extensions of GSOS-defined operations (Q3005990) (← links)
- Initial algebras and terminal coalgebras in many-sorted sets (Q3005994) (← links)
- Final coalgebras in accessible categories (Q3094168) (← links)
- Terminal Sequence Induction via Games (Q3623843) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- (Q5009709) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
- (Q5214815) (← links)
- Simplified Coalgebraic Trace Equivalence (Q5256339) (← links)
- Realization of Coinductive Types (Q5739360) (← links)
- Fixed Points of Functors - A Short Abstract (Q5739445) (← links)
- (Q5875398) (← links)
- Greatest HITs: higher inductive types in coinductive definitions via induction under clocks (Q6649477) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)
- Proving behavioural apartness (Q6666778) (← links)
