Pages that link to "Item:Q764263"
From MaRDI portal
The following pages link to A categorical outlook on relational modalities and simulations (Q764263):
Displaying 5 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Relation lifting, a survey (Q299182) (← links)
- Modes of adjointness (Q484110) (← links)
- Categorical simulations (Q964545) (← links)
- Paracategories. I: Internal paracategories and saturated partial algebras (Q1884899) (← links)
