Billede af bogens forside - Parametric Lambda Calculus

Parametric Lambda Calculus

A Metamodel for Computation

af Simona Ronchi Della Rocca, m.fl.

Bog, Paperback, Engelsk, 2010

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 lambda-calculi.

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingPaperback
  • ISBN9783642057465
  • Udgivet3/12/2010
  • Udgivet afSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Længde248 sider
  • ForfattereSimona Ronchi Della Rocca, Luca Paolini
  • GenreBusiness og læring, Computer og IT