Concepedia

S. Ronchi Della Rocca

SR

4

Publications

190

Citations

4

H-Index

1979

Active since

Affiliations

University of Turin(Current)

S. Ronchi Della Rocca is an author at University of Turin specializing in motor control, formal methods, and computational complexity.

Top concepts

Publications per year

1979–2006

4

Publications

4

Principal type schemes for an extended type theory

S. Ronchi Della Rocca, Betti Venneri · Theoretical Computer Science · 1983 · 80 citations

, , +1

Characterization of typings in polymorphic type discipline

Paola Giannini, S. Ronchi Della Rocca · 2003 · 58 citations

, , +11

Mechanisms of human static spatial orientation

Simone B. Bortolami, S. Ronchi Della Rocca, S. Daros et al. · Experimental Brain Research · 2006 · 28 citations

, , +5

A discrimination algorithm inside λ-β-calculus

Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti et al. · Theoretical Computer Science · 1979 · 24 citations

, , +2

Rows per page

1–4 of 4