Le moteur de recherche
des thèses françaises
Thibaut Balabonski
IdRefMots clés
FR |
EN
Lambda-calcul
Réécriture, Systèmes de (informatique)
Méthodes formelles (informatique)
Paresse
Optimalité
Langages de programmation fonctionnelle
Lambda-Calcul
Evaluation partielle
Normalisation
Théorèmes -- Démonstration automatique
Preuve formelle
Algorithmique distribuée
Robots mobiles autonomes
Algorithmes parallèles