Pages that link to "Item:Q4606703"
From MaRDI portal
The following pages link to Coinductive predicates and final sequences in a fibration (Q4606703):
Displayed 4 items.
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- (Q5028440) (← links)
- Preservation and reflection of bisimilarity via invertible steps (Q6091202) (← links)