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.
Original languageEnglish
Publication statusPublished - 19 Jul 2019
EventApplied Category Theory Conference - Oxford, United Kingdom
Duration: 15 Jul 201919 Jul 2019


ConferenceApplied Category Theory Conference
Abbreviated titleACT
CountryUnited Kingdom
Internet address

ID: 47157216