Investigations classiques, complexes et concurrentes à l'aide de la logique linéaire

TEL :: [tel-00460805, version 1]
http://tel.archives-ouvertes.fr/tel-00460805/fr/
La logique linéaire fait désormais partie des outils standards en théorie de la démonstration et, de manière plus générale, dans l'étude de la correspondance de Curry-Howard. Nous présentons ici trois directions importantes d'application de méthodes issues de la logique linéaire
...