The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion

Louis Lemonnier

This thesis revolves around an area of computer science called "semantics". We work with operational semantics, equational theories, and denotational semantics. The first contribut…