Ronchi Della Rocca, Simona
Ronchi Della Rocca, S. (Simona)
Ronchi della Rocca, Simonetta
Ronchi Della Rocca, Simona, 1946-
Ronchi Della Rocca, S.
Simona Ronchi Della Rocca
VIAF ID: 167381138 ( Personal )
Permalink: http://viaf.org/viaf/167381138
Preferred Forms
- 200 _ 1 ‡a Ronchi Della Rocca ‡b , Simona
-
- 100 1 _ ‡a Ronchi Della Rocca, S. ‡q (Simona)
-
-
-
-
- 100 1 _ ‡a Ronchi Della Rocca, Simona
- 100 1 _ ‡a Ronchi Della Rocca, Simona
-
- 100 1 _ ‡a Ronchi Della Rocca, Simona, ‡d 1946-
-
- 100 1 _ ‡a Ronchi della Rocca, Simonetta
- 100 0 _ ‡a Simona Ronchi Della Rocca
4xx's: Alternate Name Forms (33)
Works
Title | Sources |
---|---|
Automata, languages and programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989 : proceedings | |
Automata, languages and programming / G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.). - Berlin, 1989. | |
A collection of contributions in honour of Corrado Böhm : on the occasion of his 70th Birthday | |
Dissecting call-by-need by customizing multi type systems | |
Une dissection de l'appel-par-nécessité par la personnalisation des systèmes de multi types. | |
Disséquer les sémantiques dénotationnelles : du bien établi H* aux plus récents coeffets quantitatifs = issecting denotational semantics : from the well-established H* to the more recent quantitative coeffects | |
Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation | |
Linearity : an analytic tool in the study of complexity and semantics of programming languages. | |
Linearity and beyond in demotational semantics | |
Logique linéaire, systèmes de types et complexité implicite. | |
Modeling the handshake protocol for asynchrony. | |
The parametric lambda calculus : a metamodel for computation | |
Ronchi Della Rocca, Simona. The parametric lambda calculus, c2004: | |
Sistemi per l'elaborazione dell'informazione II / R. De Mori, I. Margaria, S. Ronchi | |
Theoretical computer science, 2001: | |
TLCA 2007 | |
Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 : proceedings | |
Types intersections non-idempotents pour raffiner la normalisation forte avec des informations quantitatives. | |
Vers une théorie de l'approximation des programmes basée sur la notion de ressources |