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):
Displaying 14 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)
- Modal crash types for intermittent computing (Q6535235) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
- The far side of the cube. An elementary introduction to game semantics (Q6612782) (← links)
- GADTs, functoriality, parametricity: pick two (Q6661153) (← links)
