Pages that link to "Item:Q4887022"
From MaRDI portal
The following pages link to Full Abstraction and the Context Lemma (Q4887022):
Displayed 7 items.
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- Decidability of behavioural equivalence in unary PCF (Q1285665) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- A stable programming language (Q2492185) (← links)
- Labelled reductions, runtime errors, and operational subsumption (Q4572006) (← links)
- Stable bistructure models of PCF (Q5096876) (← links)
- Reasoning about multi-stage programs (Q5371979) (← links)