Pages that link to "Item:Q1763728"
From MaRDI portal
The following pages link to On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus (Q1763728):
Displayed 4 items.
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- Closures of may-, should- and must-convergences for contextual equivalence (Q991760) (← links)
- On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus (Q1763728) (← links)
- A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations (Q3520145) (← links)