Marc de Visme

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 12

Top Topics

Quantum Computing

Selection Strategies

Query Language For Xml

Causal Inference

Top Venues

Proc. ACM Program. Lang.

Publications

Marc de Visme, Glynn Winskel
Causal Unfoldings and Disjunctive Causes. Log. Methods Comput. Sci. 19 (2) (2023)
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
The Many-Worlds Calculus: Representing Quantum Control. CoRR (2022)
Titouan Carette, Marc de Visme, Simon Perdrix
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory. LICS (2021)
Pierre Clairambault, Marc de Visme
Full abstraction for the quantum lambda-calculus. Proc. ACM Program. Lang. 4 (POPL) (2020)
Marc de Visme, Glynn Winskel
Causal Unfoldings and Disjunctive Causes. CoRR (2020)
Marc de Visme, Glynn Winskel
Causal Unfoldings. CALCO (2019)
Pierre Clairambault, Marc de Visme, Glynn Winskel
Game semantics for quantum programming. Proc. ACM Program. Lang. 3 (POPL) (2019)
Pierre Clairambault, Marc de Visme, Glynn Winskel
Concurrent Quantum Strategies. RC (2019)
Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu
Intersection types and runtime errors in the pi-calculus. Proc. ACM Program. Lang. 3 (POPL) (2019)
Marc de Visme
Event Structures for Mixed Choice. CONCUR (2019)
Marc de Visme, Glynn Winskel
Strategies with Parallel Causes. CSL (2017)
Marc de Visme, Glynn Winskel
Strategies with Parallel Causes. CoRR (2016)