Hodnotenie:
Kniha je vysoko cenenou príručkou o lambda počte, ktorá je vhodná najmä pre odborníkov a akademikov. Je komplexná a dobre napísaná, ale má značné problémy s prístupnosťou a kvalitou prekladu.
Výhody:⬤ Komplexné a hlboké spracovanie lambda kalkulu
⬤ vhodné pre odborníkov a serióznych študentov
⬤ slúži ako učebnica v kurzoch na úrovni absolventov
⬤ považovaná za klasické dielo v tejto oblasti.
⬤ Ťažká na čítanie a pochopenie, najmä pre tých, ktorí nemajú silné matematické zázemie
⬤ nízka kvalita prekladu s množstvom chýb
⬤ nie je ideálna pre programátorov alebo tých, ktorí hľadajú praktické aplikácie.
(na základe 8 čitateľských recenzií)
The Lambda Calculus. Its Syntax and Semantics
Lambda kalkulačka, ktorá je v tejto knihe spracovaná najmä vo svojej netypizovanej verzii, sa skladá z kolekcie výrazov, nazývaných lambda termami, spolu so spôsobmi, ako ich prepísať a identifikovať. V častiach konverzia, redukcia, teórie a modely je pohľad postupne "algebraický", výpočtový, s viacerými ("koincidujúcimi") identifikáciami, a napokon množinovo-teoretický.
Lambda termíny sú budované z premenných, pomocou aplikácie a abstrakcie. Aplikácia termínu F na M má v intenciách, že F je funkcia, M jej argument a FM výsledok aplikácie. To je však len zámer: na skutočné získanie výsledku je potrebné prepísať výraz FM podľa redukčných pravidiel.
Abstrakcia poskytuje spôsob vytvárania funkcií podľa efektu pri ich aplikácii. Sila tejto teórie vyplýva z toho, že výpočty, terminujúce aj nekonečné, možno vyjadriť pomocou lambda výrazov na "pohodlnej" úrovni abstrakcie.
