Frédéric Blanqui
IdRefMots clés
FR |
EN
Lambda-calcul
Réécriture
Assistants de preuve
Théorie des types
Théorèmes -- Démonstration automatique
Réécriture conditionnelle
Confluence
Typage
Types union
Normalisation forte
Candidats de réductibilité
Ensembles saturés
Biorthogonalité
Logique combinatoire
Cadre logique
Réécriture, Systèmes de (informatique)
Interopérabilité
Prouveur interactif
Vérification
Raisonnement automatique