Parametric Lambda Calculus, The

'The Parametric Lambda Calculus' is a meta-model for computation, in the sense that it can be specialized in order to obtain paradigmatic languages (in particular lambda-calculi) for modelling different kinds of computation. The book considers in particular the call-by-name computation, in both its lazy and not lazy version, and the call-by-value one. The book is a completely new presentation of some classical results in the Lambda Calculus field, together with some new results. The originality is that a new calculus is presented, the Parametric Lambda Calculus, that can be instantiated in order to obtain some already known lambda-calculi. Some properties, that in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, so with a particular emphasis on their semantics, both operational and denotational.