Stefano Guerrini
IdRefMots clés
FR |
EN
Lambda-calcul
Développement de Taylor
Langages de programmation
Logique de seuil
Théorie de la démonstration
Informatique quantique
Apprentissage automatique Quantique
Études probabilistes de sûreté
Algorithmes
Intelligence artificielle
Catégories symétriques monoïdales closes
Théories de Lawvere
Réseaux de preuves
Lambda-graphes
Bigraphes
Complexité de calcul (informatique)
Géométrie de l'interaction
Logique linéaire
Réalisabiblité
Programmation logique