Coq : aspects pratiques de la théorie des types

Date:
Mis à jour le 18/07/2022
Yves Bertot, responsable de l'équipe Marelle, du centre de recherche Inria Sophia Antipolis - Méditerranée, est intervenu au campus universitaire de Talence dans le cadre des cours du Collège de France donnés par Gérard Berry.

Il a donné un séminaire, accompagné par Pierre Castéran, du LaBRI le 13 décembre 2018 sur le logiciel Coq, primé par un "ACM Software System Award" .

Coq : aspects pratiques de la théorie des types

Yves Bertot - responsable de l'équipe-projet Marelle, Inria Sophia Antipolis - Méditerranée