Sites Inria

Version française

Cours du Collège de France

Agnès Bessière - 9/11/2018

Coq : practical aspects of type theory

Yves Bertot, head of the Marelle team at the Inria Sophia Antipolis - Méditerranée research centre, present at the Campus Universitaire de Talence as part of the Collège de France courses given by Gérard Berry.

He has given a seminar, accompanied by Pierre Castéran, from LaBRI on December 13, 2018 on the Coq software, which won an "ACM Software System Award".

Coq : practical aspects of type theory (only in french) 

Yves Bertot - Marelle, Inria Sophia Antipolis - Méditerranée