Théories des Types et Procédures de Décisions
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. Notre principal apport est la définition et l'étude du Calcul des Constructions Inductiv...
| Main Author: | |
|---|---|
| Published: |
Ecole Polytechnique X
2008
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00004678 http://pastel.archives-ouvertes.fr/docs/00/50/10/61/PDF/thesis-strub.pdf |