Dale Miller
IdRefMots clés
FR |
EN
Logique informatique
Théorie de la démonstration
Logique
Sémantique dénotationnelle
Sémantique des jeux
Assistants de preuve
Lambda-calcul
Programmation logique
Théorème de Herbrand
Analyse de coût
Structure d’événements
Concurrence
Modèle dénotationnel quantitatif
Analyse de temps
Interopérabilité
Réécriture
Calcul
Lieurs
Languages de programmation
Langages de programmation