Pages that link to "Item:Q280200"
From MaRDI portal
The following pages link to Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200):
Displaying 16 items.
- Relation lifting, a survey (Q299182) (← links)
- Relational limits in general polymorphism (Q1346668) (← links)
- Parametricity as isomorphism (Q1349670) (← links)
- Deriving logical relations from interpretations of predicate logic (Q2133176) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Towards a Cubical Type Theory without an Interval (Q4580224) (← links)
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- Pointers in Recursion: Exploring the Tropics (Q5089027) (← links)
- (Q5216301) (← links)
- Universal properties for universal types in bifibrational parametricity (Q5377699) (← links)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)
- Types, abstraction, and parametric polymorphism, part 2 (Q6171748) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
- Intensional harmony as isomorphism (Q6612873) (← links)
- Logical predicates in higher-order mathematical operational semantics (Q6629517) (← links)