Le moteur de recherche
des thèses françaises
Delia Kesner
IdRefMots clés
FR |
EN
Lambda-calcul
Systèmes de réécriture (informatique)
Théorie de la démonstration
Théorie des types
Logique linéaire
Lambda-Calcul
Isomorphisme de Curry-Howard
Types intersection
Concurrence
Langages de programmation
Logique de seuil
Coinduction
Réécriture
Logique informatique
Calcul des séquents
Langages de programmation fonctionnelle
Logique mathématique
Méthodes formelles (informatique)
Théorèmes -- Démonstration automatique
Types union