Pages that link to "Item:Q1923089"
From MaRDI portal
The following pages link to From operational semantics to domain theory (Q1923089):
Displayed 8 items.
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- Operational domain theory and topology of sequential programming languages (Q1013087) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- Syntactic Logical Relations for Polymorphic and Recursive Types (Q2864153) (← links)
- (Q4222944) (← links)
- Labelled reductions, runtime errors, and operational subsumption (Q4572006) (← links)
- An operational domain-theoretic treatment of recursive types (Q5740347) (← links)
- Program equivalence in a typed probabilistic call-by-need functional language (Q6052951) (← links)