The following pages link to (Q4256309):
Displayed 29 items.
- On the final sequence of a finitary set functor (Q557796) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- Stone coalgebras (Q703523) (← links)
- Category theory for operational semantics (Q703525) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- On final coalgebras of continuous functors (Q1398459) (← links)
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- Revisiting causality, coalgebraically (Q2257982) (← links)
- From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference (Q2341698) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Final coalgebras for functors on measurable spaces (Q2495647) (← links)
- Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic (Q2842556) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- Predicate Liftings Versus Nabla Modalities (Q2873669) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? (Q3178270) (← links)
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
- Algebras, Coalgebras, Monads and Comonads (Q4917035) (← links)
- (Q4989395) (← links)
- (Q5875350) (← links)
- Choice structures in games (Q6160139) (← links)