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 9 items.
- Relation lifting, a survey (Q299182) (← 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)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)
