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 3 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)