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 …
Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics
We develop a denotational semantics for general reference types in an impredicative
version of guarded homotopy type theory, an adaptation of synthetic guarded domain theory …
version of guarded homotopy type theory, an adaptation of synthetic guarded domain theory …
[PDF][PDF] Towards univalent reference types
We develop a denotational semantics for general reference types in an impredicative
version of guarded homotopy type theory, an adaptation of synthetic guarded domain theory …
version of guarded homotopy type theory, an adaptation of synthetic guarded domain theory …
[PDF][PDF] Effectful Trace Semantics via Effectful Streams
Traces are sequences that record the outputs of a transition system or a state machine along
an execution. They constitute a successful and flexible formalism that can be adapted to the …
an execution. They constitute a successful and flexible formalism that can be adapted to the …
[PDF][PDF] Presentations of Premonoidal Categories by Devices
Presentations of Premonoidal Categories by Devices Page 1 Presentations of Premonoidal
Categories by Devices Matt Earnshaw Chad Nester Mario Román Tallinn University of …
Categories by Devices Matt Earnshaw Chad Nester Mario Román Tallinn University of …
[PDF][PDF] On the Centre of Strong Graded Monads
F Breuvart, Q Long, V Zamdzhiev - cl.cam.ac.uk
Flavien BREUVART Quan LONG Vladimir ZAMDZHIEV Page 1 On the Centre of Strong
Graded Monads Flavien BREUVART Quan LONG Vladimir ZAMDZHIEV 1 April 15, 2024 …
Graded Monads Flavien BREUVART Quan LONG Vladimir ZAMDZHIEV 1 April 15, 2024 …