Exposés

11:00: Matteo Acclavio (Université de Caen), Syntaxe et sémantique des diagrammes de preuve