Registered user since Wed 20 Jan 2016
Name:Michele Pagani
Country:France
Affiliation:LIP - ENS de Lyon
Personal website: https://perso.ens-lyon.fr/michele.pagani/
Research interests:Linear Logic and Lambda-calculus, Semantics, Functional Programming, Probabilistic and Differentiable Programming
Contributions
Using general profile