Pages that link to "Item:Q2873671"
From MaRDI portal
The following pages link to Coequational logic for finitary functors (Q2873671):
Displaying 4 items.
- Coequational logic for accessible functors (Q618173) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)