Pages that link to "Item:Q1426872"
From MaRDI portal
The following pages link to Formal foundations of operational semantics (Q1426872):
Displaying 4 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- A case study in programming coinductive proofs: Howe’s method (Q5236557) (← links)
