Le moteur de recherche
des thèses françaises
Lionel Vaux
IdRefMots clés
FR |
EN
Lambda-calcul
Logique linéaire
Logique de seuil
Logique mathématique
Isomorphisme de Curry-Howard
Probabilités
Développement de Taylor
Lambda-Calcul
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
Appel-par-pousse-valeur
Réseaux de preuve