Ugo Dal Lago

Ugo Dal Lago

University of Bologna and INRIA Sophia Antipolis
Verified email at cs.unibo.it
Cited by 3407
Programming Language Theory Implicit Computational Complexity Quantum Computing Probabilistic Programming Cryptography
Matthieu Perrinel

Matthieu Perrinel

doctorant d'informatique, ENS Lyon
Verified email at ens-lyon.fr
Cited by 52
linear logic implicit computational complexity geometry of interaction