meget rost The Parametric Lambda Calculus by Simona Ronchi Della Rocca & Luca Paolini zI3UDVIw

  • Model: zI3UDVIw
  • 1631 Antal på lager


Product Description:

The book contains a completely new presentation of classical results in the field of Lambda Calculus together with new results. The text is unique in that it presents a new calculus Parametric Lambda Calculus which can be instantiated to obtain already known lambdacalculi. Some properties which 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 with a particul