En relation avec le sujet du cours

Coq : aspects pratiques de la théorie des types (Attention ! Ce séminaire aura lieu à Bordeaux)