Sémantique et preuves

• Contrôle d'exécution en sémantique naturelle
• Formalisation de la récupération d'erreurs
• Extensions des formalismes de spécification
• Propriétés syntaxiques de la théorie des types
• Etude du système ALF
• Vérification formelle d'un distributeur automatique de billets
• Un environnement de vérification de programmes
• Syntaxe abstraite d'ordre supérieur et types inductifs
• Étude d'un -calcul modal
• Aide au développement de preuves en Sémantique Naturelle