Contextual equivalence is the standard notion of program equivalence for operational semantics. Despite its prevalence and due to its complex nature, it is considered very hard to reason about. We summarize our recent work towards a general, categorical perspective on contextual equivalence using distributive laws.
|Publication status||Published - 19 Jul 2019|
|Event||Applied Category Theory Conference - Oxford, United Kingdom|
Duration: 15 Jul 2019 → 19 Jul 2019
|Conference||Applied Category Theory Conference|
|Period||15/07/19 → 19/07/19|