Ralph Matthes
IdRefMots clés
FR |
EN
Graphes
Théorie des types
Réécriture
Cadre logique
Terminaison
Eta-Conversion
Polymorphisme d'univers
Réécriture, Systèmes de (informatique)
Vérification
Méthodes formelles (informatique)
Ingénierie dirigée par les modèles
Coinduction
Prouveur de théorèmes
Listes
Mélange induction et coinduction
Théorie des graphes
Induction (logique)
Points fixes de types
Logique Linéaire
Sémantique catégorielle