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