Get my own profile
Public access
View all9 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 GrelloisBordeaux INPVerified email at bordeaux-inp.fr
- 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
- Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerified email at princeton.edu
- Leo StefanescoMPI-SWSVerified email at mpi-sws.org
- Christine TassonMaître de conférenceVerified email at irif.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
- Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
- Zhong ShaoYale UniversityVerified email at yale.edu
- Jérémie KoenigPostdoctoral Associate, Yale UniversityVerified email at yale.edu
- Sacha Bourgeois-GirondeProfessor, Dpt of Economics, Université Paris 2 ; Faculty of Law, University of HaifaVerified email at u-paris2.fr
- Nicolas RollandVerified email at ensae.org