Next: Royal Holloway
Up: Cooperating sites
Previous: Padova

CNRS / Paris 7

The "Proofs, Programs, Systems" team of Univ. Paris 7 is a research team straddling the Mathematics and Computer Science departments. It participated to all the previous TYPES projects.

The team has a long-standing experience in mathematical logic, -calculus, proof theory and applications to programming. Main interests related to the TYPES project are in the design and development of proof assistants and in the study of computational content of logical systems and mathematical proofs.

The senior members of the "Proofs, Programs, Systems" team are:

Paris 7 homepage

Bengt Nordström 2005-09-22