Stefano Guerrini
IdRefMots clés
FR |
EN
Lambda-calcul
Complexité de calcul (informatique)
Catégories symétriques monoïdales closes
Théories de Lawvere
Réseaux de preuves
Lambda-graphes
Bigraphes
Théorie de la démonstration
Développement de Taylor
Langages de programmation
Logique de seuil
Informatique quantique
Apprentissage automatique Quantique
Études probabilistes de sûreté
Algorithmes
Intelligence artificielle
Algèbres d'opérateurs
Turing, Machines de
Géométrie -- Informatique
Boole, Algèbre de