Browse
FAQ

Author

Simona Ronchi Della Rocca

3 books found

Cover of Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Simona Ronchi Della Rocca · First published 2007

Cover of The parametric lambda calculus

The parametric lambda calculus

Simona Ronchi Della Rocca, Luca Paolini · First published 2004

Cover of Theoretical Computer Science

Theoretical Computer Science

Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi · First published 2003