Értékelés:
A könyv a lambda-számítás nagyra értékelt referenciája, különösen alkalmas szakemberek és egyetemi oktatók számára. Átfogó és jól megírt, de jelentős hozzáférhetőségi és fordítási minőségi problémákkal küzd.
Előnyök:⬤ A lambda-számítás átfogó és mélyreható feldolgozása
⬤ jól használható szakemberek és komoly hallgatók számára
⬤ tankönyvként szolgál a felsőfokú kurzusokon
⬤ a terület klasszikus műveként tartják számon.
⬤ Nehezen olvasható és érthető, különösen azok számára, akik nem rendelkeznek erős matematikai háttérrel
⬤ gyenge fordítási minőség, számos hibával
⬤ nem ideális programozók vagy gyakorlati alkalmazásokat keresők számára.
(8 olvasói vélemény alapján)
The Lambda Calculus. Its Syntax and Semantics
A Lambda-kalkulus, amelyet ebben a könyvben főként a tipizálatlan változatában tárgyalunk, kifejezések gyűjteményéből, úgynevezett lambda-terminusokból áll, valamint ezek átírásának és azonosításának módjaiból. Az átalakítás, redukció, elméletek és modellek részekben a szemlélet "algebrai", számítási, több ("koinduktív") azonosítással, végül halmazelméleti.
A lambda-terminusok változókból épülnek fel, alkalmazás és absztrakció segítségével. Egy F terminus M-re való alkalmazásának az a szándéka, hogy F egy függvény, M az argumentuma, FM pedig az alkalmazás eredménye. Ez csak a szándék: ahhoz, hogy ténylegesen megkapjuk az eredményt, az FM kifejezést a redukciós szabályoknak megfelelően át kell írnunk.
Az absztrakció módot ad arra, hogy a függvényeket az alkalmazásukkor fellépő hatásnak megfelelően hozzuk létre. Az elmélet ereje abból fakad, hogy a számítások, mind a termináló, mind a végtelen számítások, az absztrakció "kényelmes" szintjén lambda kifejezésekkel fejezhetők ki.
