Le moteur de recherche
des thèses françaises
Lionel Vaux
IdRefMots clés
FR |
EN
Lambda-calcul
Logique linéaire
Logique mathématique
Isomorphisme de Curry-Howard
Logique de seuil
Lambda-Calcul
Probabilités
Syntaxe transcendantale
Modèle de calcul
Programmation quantique
Méthodes formelles
Langage de programmation
Théorie des catégories
Méthodes formelles (informatique)
Langages de programmation
Théorie quantique de la mesure
Sémantique dénotationnelle
Développement de Taylor
Sémantique opérationelle
Standardisation