Théorie des Types et Procédures de Décision
Le but de cette thèse est l'étude d'un système logique formel dans lequel les preuves formelles de propriétés mathématiques sont menées dans un style plus proches des pratiques des mathématiciens.<br /><br /> Notre principal apport est la définition et l'étude du Calcul de...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Ecole Polytechnique X
2008
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00351837 http://tel.archives-ouvertes.fr/docs/00/35/18/37/PDF/manuscrit.pdf |