Guerrini, Stefano, 1965-....
Guerrini, Stefano
Stefano Guerrini
VIAF ID: 65764386 ( Personal )
Permalink: http://viaf.org/viaf/65764386
Preferred Forms
- 200 _ | ‡a Guerrini ‡b Stefano ‡f 1965-....
- 100 1 _ ‡a Guerrini, Stefano (sparse)
-
-
-
- 100 1 _ ‡a Guerrini, Stefano ‡d 1965-
- 100 1 _ ‡a Guerrini, Stefano ‡d 1965-...
- 100 1 0 ‡a Guerrini, Stefano, ‡d 1965-
- 100 1 _ ‡a Guerrini, Stefano, ‡d 1965-....
- 100 0 _ ‡a Stefano Guerrini
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Apprentissage automatique quantique pour les graphes et les séquences : application à la sûreté nucléaire. | |
Implicit automata in linear logic and categorical transducer theory | |
Implicit Computational Complexity and Compilers | |
Logique linéaire et classes de complexité sous-polynominales near logic and sub-polynominal classes of complexity | |
The optimal implementation of functional programming languages | |
Partage, superposition et développement : Etudes géométriques sur la sémantique et l'implémentation de lambda-calculs et de réseaux de preuves. | |
Quantum machine learning approaches for graphs and sequences : application to nuclear safety assessment | |
Réductions et approximations linéaires | |
Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus | |
Sharing, Superposition and Epansion : Geometrical Studies on the semantics and Implementation of lambda-calculi and proof-nets | |
Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes | |
Transformations de forcing et algèbres de monitoring. | |
Vers une théorie de l'approximation des programmes basée sur la notion de ressources |