Marc De Visme -

Registered user since Tue 6 Nov 2018

Name:Marc De Visme

Affiliation:ENS Lyon

Contributions

POPL 2020	Author of Full Abstraction for the Quantum Lambda-Calculus within the Research Papers-track
GaLoP 2019	Author of Full Abstraction for the Quantum Lambda-Calculus within the GaLoP-track
POPL 2019	Author of Intersection Types and Runtime Errors in the Pi-Calculus within the Research Papers-track Author of Game Semantics for Quantum Programming within the Research Papers-track