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):
Displayed 5 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Relation lifting, a survey (Q299182) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- (Q5101351) (← links)