Pages that link to "Item:Q4917045"
From MaRDI portal
The following pages link to From Algebras and Coalgebras to Dialgebras (Q4917045):
Displayed 7 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← 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)
- (Q5101334) (← links)