The following pages link to (Q2754136):
Displaying 8 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Prelogical relations (Q1854557) (← links)
- Cryptographic logical relations (Q2481976) (← links)
- Models for the computational λ-calculus (Q4923379) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- Axiomatics for Data Refinement in Call by Value Programming Languages (Q4982069) (← links)
- Lax Theory Morphisms (Q5277906) (← links)