MPG.eBooks - Author Search Results

Cover Image

1

The Parametric Lambda Calculus : A Metamodel for Computation

by Ronchi Della Rocca, Simona, Paolini, Luca
Published 2004

Springer Berlin Heidelberg

Cover Image

2

Typed Lambda Calculi and Applications : 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Ronchi Della Rocca, Simona...”

Cover Image

3

Theoretical Computer Science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Ronchi Della Rocca, Simona...”