Simona Ronchi Della Rocca

• The Parametric Lambda Calculus
• The parametric lambda calculus
• Theoretical Computer Science
• Typed Lambda Calculi and Applications