Jean-Yves Girard
Mots 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
Von Neumann, Algèbres de
Treillis, Théorie des
Fonctions de corrélation
Lambda-calcul
Radius
Tete radiale
Vascularisation
Résolution
Programmation Logique
Catégories à Trace