Delia Kesner
IdRefMots clés
FR |
EN
Lambda-calcul
Réécriture, Systèmes de (informatique)
Théorie des types
Isomorphisme de Curry-Howard
Logique linéaire
Théorie de la démonstration
Langages de programmation fonctionnelle
Réécriture
Langages de programmation
Concurrence
Coinduction
Types intersection
Lambda-Calcul
Logique de seuil
Logique mathématique
Logique informatique
Théorèmes -- Démonstration automatique
Calcul des séquents
Preuves circulaires
Induction (mathématiques)