A summary on categorical contextual reasoning

Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens

Research output: Unpublished contribution to conferenceUnpublished paper


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

Fingerprint Dive into the research topics of 'A summary on categorical contextual reasoning'. Together they form a unique fingerprint.

Cite this