Registered user since Tue 11 Dec 2018
Name:Matteo Manighetti
Bio:
PhD Student at LIX, École Polytechnique funded by Inria Saclay under the supervision of Dale Miller.
Country:France
Affiliation:Inria & École Polytechnique
Personal website: http://www.lix.polytechnique.fr/Labo/Matteo.Manighetti/
Research interests:Logic, Proof Theory
Contributions
POPL 2019-profile
View general profile
View general profile