The parametric lambda calculus : a meta-model for computation / - Ronchi Della Rocca, S. (Springer-Verlag, 2004)