DOI10.1007/978-3-030-72019-3_13zbMath1473.68037arXiv2101.08491MaRDI QIDQ2233464
Andrzej S. Murawski, Guilhem Jaber
Publication date: 18 October 2021
Full work available at URL: https://arxiv.org/abs/2101.08491
zbMATH Keywords
contextual equivalence; control operators; higher-order references; operational game semantics
Mathematics Subject Classification ID
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing