2 citations · 3 across the 3 of their papers we have counts for
4 papers
Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
Vítor Fernandes, Marc de Visme, Benoît Valiron
In this paper, we consider event structures and their probabilistic and quantum extensions as originally defined by Winskel. If these structures have already been part of sophistic…
Minimality in Finite-Dimensional ZW-Calculi
Marc de Visme, Renaud Vilmart
The ZW-calculus is a graphical language capable of representing 2-dimensional quantum systems (qubit) through its diagrams, and manipulating them through its equational theory. We…
The Many-Worlds Calculus
Kostia Chardonnet, Marc de Visme, Benoît Valiron +1
In this paper, we explore the interaction between two monoidal structures: a multiplicative one, for the encoding of pairing, and an additive one, for the encoding of choice. We pr…
Causal Unfoldings and Disjunctive Causes
Marc de Visme, Glynn Winskel
In the simplest form of event structure, a prime event structure, an event is associated with a unique causal history, its prime cause. However, it is quite common for an event to…