2011
Team Activity Report

TYPICAL

Types, Logic and computing

Research centre: Saclay - Île-de-France

In partnership with: CNRS, Ecole Polytechnique

In collaboration with: Laboratoire d'informatique de l'école polytechnique (LIX)

In collaboration with: Laboratoire d'informatique de l'école polytechnique (LIX)

Keywords: Interactive Theorem Proving, Formal Methods, Safety, Proofs Of Programs, Type Systems