Pages that link to "Item:Q4917045"
From MaRDI portal
The following pages link to From Algebras and Coalgebras to Dialgebras (Q4917045):
Displaying 10 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- (Q2736580) (← links)
- Coalgebras for binary methods: Properties of bisimulations and invariants (Q2747943) (← links)
- Abstract logics as dialgebras (Q2842560) (← links)
- Greatest bisimulations for binary methods (Q2842564) (← links)
- Two extensions of system F with (co)iteration and primitive (co)recursion principles (Q3653093) (← links)
- Modal Operators for Coequations (Q4917039) (← links)
- Final Dialgebras: From Categories to Allegories (Q4943551) (← links)
- (Q5101334) (← links)
- <i>φ</i>-Dialgebras and a Class of Matrix “Coquecigrues” (Q5437362) (← links)