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 (...)
Groupement de Recherche n°3322 du CNRS
Nos tutelles
Rechercher
Accueil > Qu’est-ce que IQFA ? > Laboratoires participants > Paris & Ile de France > Laboratoire d’Informatique de l’Ecole Polytechnique (LIX)
Laboratoire d’Informatique de l’Ecole Polytechnique (LIX)
LIX, UMR 7161 du CNRS / Ecole Polytechnique, Palaiseau, France