Olivier Laurent
IdRefMots clés
FR |
EN
Sémantique dénotationnelle
Lambda-calcul
Sémantique des jeux
Concurrence
Langages de programmation -- Sémantique
Programmation logique
Théorie de la démonstration
Réalisabilité
Points fixes de types
Logique Linéaire
Sémantique catégorielle
Point fixe, Théorème du
Logique de seuil
Logique informatique
Coq
Logique mathématique
Isomorphisme de Curry-Howard
Programmation logique disjonctive
Théorie des langages de programmation
Programmation Quantique