Formal foundations of operational semantics
From MaRDI portal
Publication:1426872
DOI10.1023/A:1025689206562zbMath1074.68033OpenAlexW110471181MaRDI QIDQ1426872
Publication date: 15 March 2004
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1025689206562
Related Items
Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax, On generic context lemmas for higher-order calculi with sharing, A case study in programming coinductive proofs: Howe’s method, Observational program calculi and the correctness of translations
Uses Software