Pages that link to "Item:Q3165524"
From MaRDI portal
The following pages link to The impact of higher-order state and control effects on local relational reasoning (Q3165524):
Displayed 10 items.
- Complete trace models of state and control (Q2233464) (← links)
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498) (← links)
- Parametric Polymorphism — Universally (Q2947462) (← links)
- A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc (Q3179291) (← links)
- (Q4603450) (← links)
- On the Versatility of Open Logical Relations (Q5041087) (← links)
- (Q5155670) (← links)
- (Q5377471) (← links)
- Universal properties for universal types in bifibrational parametricity (Q5377699) (← links)
- Bifibrational functorial semantics of parametric polymorphism (Q5971398) (← links)