Marc de Visme

According to our database, Marc de Visme authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Causal Unfoldings and Disjunctive Causes.

Marc de Visme, Glynn Winskel

Log. Methods Comput. Sci., 2023

2022

The Many-Worlds Calculus: Representing Quantum Control.

Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart

CoRR, 2022

2021

Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory.

Titouan Carette, Marc de Visme, Simon Perdrix

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Quantum Game Semantics. (Sémantique des Jeux Quantique).

Marc de Visme

PhD thesis, 2020

Full abstraction for the quantum lambda-calculus.

Pierre Clairambault, Marc de Visme

Proc. ACM Program. Lang., 2020

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

Game semantics for quantum programming.

Pierre Clairambault, Marc de Visme, Glynn Winskel

Proc. ACM Program. Lang., 2019

Concurrent Quantum Strategies.

Pierre Clairambault, Marc de Visme, Glynn Winskel

Proceedings of the Reversible Computation - 11th International Conference, 2019

Event Structures for Mixed Choice.

Marc de Visme

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Causal Unfoldings.

Marc de Visme, Glynn Winskel

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2017

Strategies with Parallel Causes.

Marc de Visme, Glynn Winskel

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017