Deduction Imbriquée et Fondements Logiques du Calcul
Cette thèse s'intéresse à l'usage des formalismes d'inférence profonde comme fondement des interprétations calculatoires des systèmes de preuve, en suivant les deux approches principales: celle des preuves comme programmes et celle de la recherche de preuve comme calcul. La première c...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
Ecole Polytechnique X
2013
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00929908 http://pastel.archives-ouvertes.fr/docs/00/92/99/08/PDF/thesis.pdf |