previous up next contents                                RA 1994     RA 1996
Suivant : Table des matières

Projet COQ

Spécifications et preuves de programmes

Rapport d'activité 1995

Page WWW du projet

Localisation : Rocquencourt

Mots clefs : typage, logique, lambda-calcul, langage fonctionnel, calcul formel, spécification formelle, déduction automatique, synthèse de programme, preuve de programme