Concepedia

Simonetta Ronchi Della Rocca

SR

Statistics

Publications

3

Citations

157

H-Index

3

Active since

1982

Affiliations

University of Turin(Current)

Simonetta Ronchi Della Rocca is an author at University of Turin specializing in lambda calculus, computer science, and model theory.

Publications per year

1982–2013

3

Publications

3

An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus

Furio Honsell, Simonetta Ronchi Della Rocca · Journal of Computer and System Sciences · 1992 · 88 citations

, , +11

Computer Science Logic 2013 (CSL 2013)

Simonetta Ronchi Della Rocca · Computer Science Logic · 2013 · 56 citations

, , +11

Characterization theorems for a filter lambda model

Simonetta Ronchi Della Rocca · Information and Control · 1982 · 13 citations

, , +6

1–3 of 3