Pages that link to "Item:Q4606703"
From MaRDI portal
The following pages link to Coinductive predicates and final sequences in a fibration (Q4606703):
Displaying 5 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- 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)
- Proving behavioural apartness (Q6666778) (← links)