Le moteur de recherche
des thèses françaises
Jean-Yves Girard
IdRefMots clés
FR |
EN
Logique de seuil
Géométrie de l'Interaction
Logique mathématique
Curry-Howard
Logique Linéaire
Complexité Algorithmique
Sémantique Dénotationelle
Algèbres de von Neumann
Graphes d'Interaction
Isomorphisme de Curry-Howard
Théorie des treillis
Fonctions de corrélation
Lambda-calcul
Radius
Tete radiale
Vascularisation
Résolution
Programmation Logique
Catégories à Trace
Automates