Billede af bogens forside - Parametric Lambda Calculus

Parametric Lambda Calculus

A Metamodel for Computation

af Simona Ronchi Della Rocca, m.fl.

Bog, Hardback, Engelsk, 2004

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
  • IndbindingHardback
  • ISBN9783540200321
  • Udgivet5/07/2004
  • Udgivet afSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Længde248 sider
  • ForfattereSimona Ronchi Della Rocca, Luca Paolini
  • GenreBusiness og læring