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

Programme