Write a Blog >>

Registered user since Tue 6 Nov 2018

Name: Marc De Visme

Affiliation: ENS Lyon

Contributions

POPL 2020 Full Abstraction for the Quantum Lambda-Calculus
Show activities from other conferences

POPL 2020-profile
View general profile