A summary on categorical contextual reasoning

Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens

Onderzoeksoutput: Unpublished 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.
Originele taal-2English
StatusPublished - 19 jul 2019
EvenementApplied Category Theory Conference - Oxford, United Kingdom
Duur: 15 jul 201919 jul 2019


ConferenceApplied Category Theory Conference
Verkorte titelACT
LandUnited Kingdom
Internet adres

Vingerafdruk Duik in de onderzoeksthema's van 'A summary on categorical contextual reasoning'. Samen vormen ze een unieke vingerafdruk.

Citeer dit