Ugo Dal Lago

Ugo Dal Lago

University of Bologna and INRIA Sophia Antipolis
在 cs.unibo.it 的电子邮件经过验证
被引用次数：3526
Programming Language Theory Implicit Computational Complexity Quantum Computing Probabilistic Programming Cryptography
Matthieu Perrinel

Matthieu Perrinel

doctorant d'informatique, ENS Lyon
在 ens-lyon.fr 的电子邮件经过验证
被引用次数：53
linear logic implicit computational complexity geometry of interaction