Gérard Huet
Mots clés
FR |
EN
Lambda-calcul
Théorèmes -- Démonstration automatique
Sciences appliquees
Informatique, automatique theorique, systemes
Sciences et techniques communes
Mathematiques
Preuve programme
Recurrence
Recursivite
Filtrage motif
Type inductif
Calcul construction inductive
Program proof
Recursivity
Ordinateurs
Langages de programmation fonctionnelle
Demonstration automatique
Resolution
Unification
Filtrage