Get my own profile
Public access
View all8 articles
0 articles
available
not available
Based on funding mandates
Co-authors
nicolas tabareauInriaVerified email at inria.fr
Noam ZeilbergerEcole PolytechniqueVerified email at lix.polytechnique.fr
Charles GrelloisUniversity of SheffieldVerified email at sheffield.ac.uk
Jérôme VouillonCNRS, Université Paris DiderotVerified email at pps.univ-paris-diderot.fr
Samuel MimramLIX, CNRS, École polytechnique, Institut Polytechnique de ParisVerified email at polytechnique.edu
Samson AbramskyProfessor of Computer Science, UCLVerified email at ucl.ac.uk
Leo StefanescoMPI-SWSVerified email at mpi-sws.org
Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerified email at princeton.edu
Christine TassonProfessorVerified email at isae-supaero.fr
Clemens BergerProfessor of Mathematics, University Côte d'AzurVerified email at math.unice.fr
Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Russ HarmerCNRS, LyonVerified email at ens-lyon.fr
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Benjamin WernerProfesseur, Computer Science, Ecole PolytechniqueVerified email at polytechnique.edu
Zhong ShaoYale UniversityVerified email at yale.edu
Jérémie KoenigPostdoctoral Associate, Yale UniversityVerified email at yale.edu
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Nicolas RollandVerified email at ensae.org
Sacha Bourgeois-GirondeProfessor, Dpt of Economics, Université Paris 2 ; Faculty of Law, University of HaifaVerified email at u-paris2.fr