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):
Displaying 6 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)
- Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) (Q5240138) (← links)
- Program equivalence in a typed probabilistic call-by-need functional language (Q6052951) (← links)
