Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "Compositionality of Effects in Semantics and Automata Theory"

by Daniela Petrisan

Mon, 24 April 2023 at 11:50 am in Paris, France

Abstract: In this talk we will survey some results on weak distributive law and their role in composing effects in the semantics of programming languages. We then discuss a functorial approach to model various classes of automata. In particular, we consider automata seen as diagrams interpreted in Kleisli categories for composite monads, and we see how "determinization" of such automata can be achieved via (weak) distributive laws.