Martini, Simone, Prof.
Martini, Simone, 19..-..., informaticien
Martini, Simone, 1959-
Martini, Simone
Martini, Simone, informaticien
Simone Martini
VIAF ID: 56145853 ( Personal )
Permalink: http://viaf.org/viaf/56145853
Preferred Forms
- 200 _ 1 ‡a Martini ‡b , Simone ‡f <1959- >
- 100 1 _ ‡a Martini, Simone
- 100 1 _ ‡a Martini, Simone ‡d 1959-
-
-
- 100 1 _ ‡a Martini, Simone, ‡c Prof.
-
- 100 1 _ ‡a Martini, Simone, ‡d 19..-..., ‡c informaticien
-
- 100 0 _ ‡a Simone Martini
4xx's: Alternate Name Forms (4)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Computer science logic, 2008: | |
Concepts and tool for interactive computing. | |
Concepts et outil pour l'informatique de l'interaction | |
Contrôle du calcul et limites du sens : fonctions, computation et types de G. Frege à A.Church | |
Exploration de l’expressivité des sous-systèmes de la logique linéaire caractérisant le temps polynomial. | |
Investigating the expressivity of linear logic subsystems characterizing polynomial time | |
Logica per la programmazione : appunti per il corso di Programmazione 1. : Corso di laurea in informatica, Diploma in informatica, Facoltà di scienze M.F.N. / Paolo Mancarella, Simone Martini | |
Modelli non estensionali del polimorfismo in programmazione funzionale / Simone Martini | |
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. | |
Programming languages : principles and paradigms / Maurizio Gabbrielli and Simone Martini | |
Sharing, Superposition and Epansion : Geometrical Studies on the semantics and Implementation of lambda-calculi and proof-nets | |
Vers une théorie de l'approximation des programmes basée sur la notion de ressources |