The following pages link to (Q4364388):
Displaying 6 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- Prelogical relations (Q1854557) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)