Abou-Saleh, Faris; Pattinson, Dirk
In the mid-nineties, Turi and Plotkin gave an elegant categorical treatment of denotational and operational semantics for process algebra-like languages, proving compositionality and adequacy by defining operational semantics as a distributive law of syntax over behaviour. However, its applications to stateful or effectful languages, incorporating (co)models of a countable Lawvere theory, have been elusive so far. We make some progress towards a coalgebraic treatment of such languages,...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.