La sémantique, c’est romantique

Écrit par Pierre Pansu
Publié le 8 juin 2014
Peu illustré
15 - 30 minutes

Le 22 avril 2014, c’était la journée de lancement du trimestre Sémantique des preuves et des programmes et mathématiques certifiées.

Lire l’article en ligne

ÉCRIT PAR

Pierre Pansu

Professeur - Université Paris-Saclay

Partager