by Simona Ronchi Della Rocca, Luca Paolini
"The parametric lambda calculus is used as a tool for presenting in a uniform way basic notions of programming languages, and for studying with a uniform approach some lambda calculi modeling diffe…