Pages that link to "Item:Q2914672"
From MaRDI portal
The following pages link to Coalgebraic Methods in Computer Science (Q2914672):
Displaying 26 items.
- From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference (Q2914673) (← links)
- Defining Context-Free Power Series Coalgebraically (Q2914674) (← links)
- Relational Presheaves as Labelled Transition Systems (Q2914675) (← links)
- On Finitary Functors and Their Presentations (Q2914676) (← links)
- Structural Operational Semantics for Continuous State Probabilistic Processes (Q2914677) (← links)
- Stream Automata Are Coalgebras (Q2914678) (← links)
- Trace Semantics via Determinization (Q2914679) (← links)
- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus (Q2914680) (← links)
- Lax Extensions of Coalgebra Functors (Q2914681) (← links)
- From Transitions to Executions (Q2914682) (← links)
- Tracing the Man in the Middle in Monoidal Categories (Q2914683) (← links)
- Permutations in Coinductive Graph Representation (Q2914685) (← links)
- Internal Models for Coalgebraic Modal Logics (Q2914687) (← links)
- Fixed Points of Functors - A Short Abstract (Q5739445) (← links)
- Compositional Coinduction with Sized Types (Q5739446) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- Transitivity and Difunctionality of Bisimulations (Q5739448) (← links)
- Affine Monads and Side-Effect-Freeness (Q5739449) (← links)
- Duality of Equations and Coequations via Contravariant Adjunctions (Q5739450) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)
- On the Logic of Generalised Metric Spaces (Q5739454) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- Relational Lattices via Duality (Q5739457) (← links)
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems (Q5739458) (← links)
