Laboratoire d'informatique de l'École polytechnique

Web site

Typical

Activities

L'équipe TYPICAL développe et exploite la théorie des types, un sujet lancé par De Bruijn et Martin-Löf dans les années 1930 et pour lesquels des systèmes tels que Coq ont été développés et employés avec succès aussi bien dans la recherche académique que dans l'industrie ou à des fins éducatives.

Permanent researchers

Bruno Barras (Inria)

Ian Mackie (Cnrs)

Pierre-Yves Strub (Polytechnique)

Benjamin Werner (Polytechnique)

PhD students

Administrative and technical staff