Pages that link to "Item:Q1275820"
From MaRDI portal
The following pages link to Structural induction and coinduction in a fibrational setting (Q1275820):
Displayed 14 items.
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- Simulations in coalgebra (Q703522) (← links)
- Some properties of Fib as a fibred \(2\)-category (Q1295672) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- De Bakker-Zucker processes revisited (Q1887161) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study (Q2747941) (← links)
- Coalgebras for Binary Methods: Properties of Bisimulations and Invariants (Q2747943) (← links)
- Initial Algebra Semantics for Cyclic Sharing Structures (Q3637190) (← links)
- A Note on Hyperspaces and Terminal Coalgebras (Q4256321) (← links)
- Coalgebraic description of generalised binary methods (Q5756977) (← links)