TypiCal - INRIA
Contact principal : Benjamin Werner Autre contact : Gilles Dowek
Description des activités de recherche :
Research interests put the stress on the formalization of mathematics (type theory, set (...)
Accueil > Qu’est-ce que IQFA ? > Laboratoires participants > Paris & Ile de France > Laboratoire d’Informatique de l’Ecole Polytechnique (LIX)
LIX, UMR 7161 du CNRS / Ecole Polytechnique, Palaiseau, France
Contact principal : Benjamin Werner Autre contact : Gilles Dowek
Description des activités de recherche :
Research interests put the stress on the formalization of mathematics (type theory, set (...)