Thomas Traversié

Faire avancer le transfert de preuves entre différents systèmes mathématiques de manière efficace.

Une méthode relie la logique classique et la logique intuitionniste à travers des transformations d'ordre supérieur.