S
Simona Ronchi Della Rocca
Researcher at University of Turin
Publications - 83
Citations - 2017
Simona Ronchi Della Rocca is an academic researcher from University of Turin. The author has contributed to research in topics: Lambda calculus & Intersection. The author has an hindex of 19, co-authored 82 publications receiving 1848 citations.
Papers
More filters
Book ChapterDOI
λ Δ -Models
TL;DR: To study the operational behaviour of λ-terms, this work will use the denotational (mathematical) approach to choose a space of semantics values, or denotations, where terms are to be interpreted.
Proceedings ArticleDOI
A logical account of pspace
TL;DR: This work proposes a characterization of PSPACE by means of atype assignment for an extension of lambda calculus with a conditional construction and introduces a call-by-name evaluation machine in order to compute programs in polynomial space.
Journal ArticleDOI
Call-by-value Solvability
TL;DR: The notion of solvability in the call-by-value λ -calculus is defined and completely characterized, both from an operational and a logical point of view.
Book ChapterDOI
Solvability in resource lambda-calculus
TL;DR: This work defines a term solvable whenever there is a simple head context reducing the term into a sum where at least one addend is the identity, and gives a syntactical, operational and logical characterization of this kind of solvability.