Strategies with Parallel Causes. - Marc de Visme; Glynn Winskel (CSL, 2017)

Causal Unfoldings. - Marc de Visme; Glynn Winskel (CALCO, 2019)

Event Structures for Mixed Choice. - Marc de Visme (CONCUR, 2019)

Concurrent Quantum Strategies. - Pierre Clairambault; Marc de Visme; Glynn Winskel (RC, 2019)

Game semantics for quantum programming. - Pierre Clairambault; Marc de Visme; Glynn Winskel (Proc. ACM Program. Lang., 2019)

Intersection types and runtime errors in the pi-calculus. - Ugo Dal Lago; Marc de Visme; Damiano Mazza; Akira Yoshimizu (Proc. ACM Program. Lang., 2019)

Full abstraction for the quantum lambda-calculus. - Pierre Clairambault; Marc de Visme (Proc. ACM Program. Lang., 2020)

Quantum Game Semantics. (Sémantique des Jeux Quantique). - Marc de Visme (2020)

Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. - Titouan Carette; Marc de Visme; Simon Perdrix (LICS, 2021)

The Many-Worlds Calculus: Representing Quantum Control. - Kostia Chardonnet; Marc de Visme; Benoît Valiron; Renaud Vilmart (CoRR, 2022)

Causal Unfoldings and Disjunctive Causes. - Marc de Visme; Glynn Winskel (Log. Methods Comput. Sci., 2023)

Non-deterministic, Probabilistic, and Quantum Effects Through the Lens of Event Structures. - Vítor Fernandes; Marc de Visme; Benoît Valiron (APLAS, 2024)

Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report). - Vítor Fernandes; Marc de Visme; Benoît Valiron (CoRR, 2024)

Minimality in Finite-Dimensional ZW-Calculi. - Marc de Visme; Renaud Vilmart (CSL, 2025)

The Many-Worlds Calculus. - Kostia Chardonnet; Marc de Visme; Benoît Valiron; Renaud Vilmart (Log. Methods Comput. Sci., 2025)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words. - Titouan Carette; Marc de Visme; Vivien Ducros; Victor H. Lutfalla; Etienne Moutot (CoRR, 2025)