Advanced search    

Search: authors:"Simona Ronchi Della Rocca"

5 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper)

Science. Cambridge University Press, Cambridge, 1989 . Furio Honsell and Simona Ronchi della Rocca. Reasoning about interpretation in qualitative lambda-models . In IFIP 2.2 , pages 505 - 521 , 1990 . Furio ... Honsell and Simona Ronchi Della Rocca . An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus . Journal of Computer and System Sciences , 45 ( 1 ): 49

The Ackermann Award 2015

Anuj Dawar, Dexter Kozen, and Simona Ronchi Della Rocca Members of the Jury of the EACSL Ackermann Award Hugo F?r?e The eleventh Ackermann Award is presented at CSL'15 in Berlin, Germany. This year ... Jerusalem), Daniel Leivant (Indiana University, Bloomington), Luke Ong (University of Oxford), Jean-?ric Pin (CNRS and Universit? Paris 7), Simona Ronchi Della Rocca (University of Torino), the vice-president

Observability for Pair Pattern Calculi

, 1983 . C. Ben-Yelles . Type-assignment in the lambda-calculus; syntax and semantics . PhD thesis , University of Wales Swansea, 1979 . Antonio Bucciarelli , Delia Kesner, and Simona Ronchi Della Rocca

Standardization of a Call-By-Value Lambda-Calculus

Separability and Computability . In Antonio Restivo, Simona Ronchi Della Rocca, and Luca Roversi, editors, Italian Conference in Theoretical Computer Science , volume 2202 of Lecture Notes in Computer Science ... , pages 74 - 89 . Springer-Verlag, 2002 . Luca Paolini and Simona Ronchi Della Rocca . Parametric parameter passing lambdacalculus . Information and Computation , 189 ( 1 ): 87 - 106 , 2004 . Luca Paolini

Frontmatter, Table of Contents, Preface, Conference Organization

associated aperitif. I thank these organizations for their generous supports. September 2013 Simona Ronchi Della Rocca Conference Organization Program Committee Abel, Andreas Abramsky, Samson Accattoli