Le moteur de recherche
des thèses françaises
Claudia Faggian
IdRefMots clés
FR |
EN
Logique de seuil
Logique linéaire
Concurrence
Sémantique selon la théorie des jeux
Informatique quantique
Réseaux de preuve
Lambda-calcul
Langages de programmation
Sémantique dénotationnelle
L’encodage des références
Sémantique
Programmation fonctionnelle (informatique)
Isomorphisme de Curry-Howard
Langages de programmation -- Sémantique
Logique informatique
Logique mathématique
Catégories (mathématiques)
Sémantique opérationnelle
Théorie de la démonstration
Théorie des jeux