Logique et Interaction : une Étude Sémantique de la Totalité

TEL :: [tel-00459307, version 1]
http://tel.archives-ouvertes.fr/tel-00459307/fr/
Cette thèse s'articule autour de l'utilisation de stratégies totales pour la représentation des preuves.
...