Simona Ronchi Della Rocca

Simona Ronchi Della Rocca

2 books in the database

Books

The parametric lambda calculusSimona Ronchi Della Rocca

The parametric lambda calculus

Simona Ronchi Della Rocca · 2004

Typed Lambda Calculi and ApplicationsSimona Ronchi Della Rocca

Typed Lambda Calculi and Applications

Simona Ronchi Della Rocca · 2007

Co-authored books and collections

Books that list Simona Ronchi Della Rocca among their authors but not as the lead author: co-written works, collections and compilations.

Theoretical Computer ScienceAntonio Restivo

Theoretical Computer Science

Antonio Restivo · 2003