Pages that link to "Item:Q2848130"
From MaRDI portal
The following pages link to Congruence of bisimulation in a non-deterministic call-by-need lambda calculus (Q2848130):
Displaying 6 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)
- Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec (Q1944119) (← links)
- A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations (Q3520145) (← links)
- Bisimulation Congruences in the Calculus of Looping Sequences (Q3525142) (← links)
- The Benefit of Being Non-Lazy in Probabilistic λ-calculus (Q5145645) (← links)