Daniela Petrisan
IdRefMots clés
FR |
EN
Langages de programmation -- Sémantique
Logique informatique
Lambda-calcul
Langages de programmation
Points fixes de types
Logique Linéaire
Sémantique catégorielle
Sémantique dénotationnelle
Point fixe, Théorème du
Logique de seuil
Dualité de Stone
Théorie des langages
Algèbre profinie
Monade de codensité
Interpolation uniforme
Théorème de l’application ouverte
Pretopos
Quantificateurs (logique mathématique)
Logique intuitionniste
Espaces compacts