Jean-Yves Girard
IdRefMots clés
FR |
EN
Logique de seuil
Géométrie de l'Interaction
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
Logique mathématique
Résolution
Programmation Logique
Catégories à Trace
Automates
Complexité Implicite
Algèbre
Programmation logique
Géométrie algorithmique
Sémantique