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
Logique de seuil
Langages de programmation
Coinduction
Réécriture
Concurrence
Types intersection
Lambda-Calcul
Logique mathématique
Logique informatique
Théorèmes -- Démonstration automatique
Calcul des séquents
Preuves circulaires
Induction (mathématiques)