Pages that link to "Item:Q960863"
From MaRDI portal
The following pages link to On generic context lemmas for higher-order calculi with sharing (Q960863):
Displayed 5 items.
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi (Q964003) (← links)
- Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec (Q1944119) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- (Q5240138) (← links)