Nobuko Yoshida
IdRefMots clés
FR |
EN
Système de Types
Calcul de Processus
Complexité Implicite
Analyse de Complexité
Types à taille
Pi-calcul
Systèmes distribués
Vérification formelle
Automates
Systèmes infinis
Logique
Vérification de modèles (informatique)
Logique de séparation concurrente
Logique de programme
Sémantique
Iris
Logique informatique
Langages de programmation -- Sémantique
Preuve
Langages de programmation