Pages that link to "Item:Q2914676"
From MaRDI portal
The following pages link to On Finitary Functors and Their Presentations (Q2914676):
Displaying 8 items.
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- On finitary functors and their presentations (Q2341699) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- The p-adic Integers as Final Coalgebra (Q2947469) (← links)
- Finitary Functors: From Set to Preord and Poset (Q3090863) (← links)
- (Q4989404) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)
- Sum and tensor of quantitative effects (Q6635519) (← links)