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