Pages that link to "Item:Q2341702"
From MaRDI portal
The following pages link to Lax extensions of coalgebra functors and their logic (Q2341702):
Displaying 11 items.
- Relation lifting, a survey (Q299182) (← links)
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- (Q5028440) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- (Q5089293) (← links)
- (Q5094149) (← links)
- (Q5101351) (← links)
- A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)
- Lax Liftings and Lax Distributive Laws (Q6190599) (← links)
