TypiCal - INRIA
Main contact : Benjamin Werner Other contact : Gilles Dowek
Research activities:
Research interests put the stress on the formalization of mathematics (type theory, set theory, etc.), in proof (...)
Research Network n°3322 of the CNRS
Supervisory authorities
Search
Home > What is IQFA ? > Involved laboratories > Paris & metropolitan area > Laboratoire d’Informatique de l’Ecole Polytechnique (LIX)
Laboratoire d’Informatique de l’Ecole Polytechnique (LIX)
LIX, UMR 7161 of CNRS / Ecole Polytechnique, Palaiseau, France