Pages that link to "Item:Q4606703"

The following pages link to Coinductive predicates and final sequences in a fibration (Q4606703):

Displaying 3 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)