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
- BoghandlerPrisFragtLevering
- SAXO414,95 kr.39,95 kr.UkendtKøb for 414,95 kr.Køb
- Bogreolen798,95 kr.0,00 kr.8-11 hverdageKøb for 798,95 kr.Køb
- Tales799,95 kr.34,95 kr.8-11 hverdageKøb for 799,95 kr.Køb
- Pling BØGER799,95 kr.34,95 kr.8-11 hverdageKøb for 799,95 kr.Køb
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