Investigations classiques, complexes et concurrentes à l'aide de la logique linéaire
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 : - la thé...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paris-Diderot - Paris VII
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00460805 http://tel.archives-ouvertes.fr/docs/00/46/08/05/PDF/hdr.pdf |