The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
L Lemonnier - arxiv preprint arxiv:2406.07216, 2024 - arxiv.org
This thesis revolves around an area of computer science called" semantics". We work with
operational semantics, equational theories, and denotational semantics. The first …
operational semantics, equational theories, and denotational semantics. The first …
Non-Cartesian Guarded Recursion with Daggers
L Lemonnier - arxiv preprint arxiv:2409.14591, 2024 - arxiv.org
Guarded recursion is a framework allowing for a formalisation of streams in classical
programming languages. The latter take their semantics in cartesian closed categories …
programming languages. The latter take their semantics in cartesian closed categories …
[PDF][PDF] Combining quantum and classical control: syntax, semantics and adequacy
K Dave, L Lemonnier, R Péchoux, V Zamdzhiev - perso.crans.org
The two main notions of control in quantum programming languages are often referred to as
“quantum” control and “classical” control. With the latter, the control flow is based on …
“quantum” control and “classical” control. With the latter, the control flow is based on …