A summary on categorical contextual reasoning

Stelios Tsampas; Andreas Nuyts; Dominique Devriese; Frank Piessens

A summary on categorical contextual reasoning

Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens

Research output: Unpublished contribution to conference › Unpublished paper

Abstract

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 language	English
Publication status	Published - 19 Jul 2019
Event	Applied Category Theory Conference - Oxford, United Kingdom Duration: 15 Jul 2019 → 19 Jul 2019 http://www.cs.ox.ac.uk/ACT2019/

Conference

Conference	Applied Category Theory Conference
Abbreviated title	ACT
Country	United Kingdom
City	Oxford
Period	15/07/19 → 19/07/19
Internet address	http://www.cs.ox.ac.uk/ACT2019/

Access to Document

http://www.cs.ox.ac.uk/ACT2019/preproceedings/Tsampas,%20Andreas%20Nuyts,%20Dominique%20Devriese%20and%20Frank%20Piessens.pdfLicence: Unspecified

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

Cite this

@conference{a1458c992bd24901b7626f47f38266bf,

title = "A summary on categorical contextual reasoning",

abstract = "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.",

author = "Stelios Tsampas and Andreas Nuyts and Dominique Devriese and Frank Piessens",

year = "2019",

month = "7",

day = "19",

language = "English",

note = "Applied Category Theory Conference, ACT ; Conference date: 15-07-2019 Through 19-07-2019",

url = "http://www.cs.ox.ac.uk/ACT2019/",

}

TY - CONF

T1 - A summary on categorical contextual reasoning

AU - Tsampas, Stelios

AU - Nuyts, Andreas

AU - Devriese, Dominique

AU - Piessens, Frank

PY - 2019/7/19

Y1 - 2019/7/19

N2 - 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.

AB - 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.

M3 - Unpublished paper

ER -