Pages that link to "Item:Q2856480"
From MaRDI portal
The following pages link to Relation lifting, with an application to the many-valued cover modality (Q2856480):
Displaying 12 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Relation lifting, a survey (Q299182) (← links)
- Transporting many-valued sets along many-valued relations (Q834436) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- Predicate and relation lifting for parametric algebraic specifications (Q2847822) (← links)
- Predicate liftings versus nabla modalities (Q2873669) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- (Q5101351) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
- Stone duality for relations (Q6612781) (← links)
- Lambek-Grishin calculus: focusing, display and full polarization (Q6612800) (← links)