λ-calcul différentiel et logique classique : interactions calculatoires
Cette thèse de théorie de la démonstration étudie les interactions entre le λ-calcul différentiel d'Ehrhard et Regnier d'un côté, et certaines émanations calculatoires de la logique classique (le λμ-calcul de Parigot et le λ-barre-μ-calcul de Herbelin) de l'autre. L'étude est ini...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de la Méditerranée - Aix-Marseille II
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00194149 http://tel.archives-ouvertes.fr/docs/00/39/16/87/PDF/these.pdf |