Pages that link to "Item:Q1870854"
From MaRDI portal
The following pages link to Erratic Fudgets: A semantic theory for an embedded coordination language (Q1870854):
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)
- Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec (Q1944119) (← links)
- Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) (Q5240138) (← links)
- Deciding inclusion of set constants over infinite non-strict data structures (Q5441550) (← links)
- Extracting total Amb programs from proofs (Q6166786) (← links)