Pages that link to "Item:Q5348907"
From MaRDI portal
The following pages link to A non-deterministic call-by-need lambda calculus (Q5348907):
Displayed 7 items.
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi (Q964003) (← links)
- Closures of may-, should- and must-convergences for contextual equivalence (Q991760) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case (Q3522027) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures (Q5262945) (← links)