Értékelés:
Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.
A Constructive Semantics Of The Lambda Calculus
Ez a könyv bevezetés a lambda-számítás tanulmányozásába.
Elmagyarázza, hogyan használható a lambda-kalkulus programozási nyelvek definiálására és viselkedésükkel kapcsolatos következtetésekre. Alkalmas a diszkrét matematika és az informatika alapismereteivel rendelkező olvasók számára.
Ezt a művet a tudósok kulturálisan fontosnak választották, és az általunk ismert civilizáció tudásbázisának részét képezi. Ez a mű "közkincs az Amerikai Egyesült Államokban és valószínűleg más nemzeteknél is. Az Egyesült Államokon belül szabadon másolhatja és terjesztheti ezt a művet, mivel egyetlen (egyéni vagy vállalati) jogalany sem rendelkezik szerzői joggal a mű szövegére.
A tudósok úgy vélik, és mi is egyetértünk velük, hogy ez a mű elég fontos ahhoz, hogy megőrizzék, sokszorosítsák és általánosan hozzáférhetővé tegyék a nyilvánosság számára. Nagyra értékeljük a megőrzési folyamat támogatását, és köszönjük, hogy fontos szerepet játszanak abban, hogy ez a tudás életben maradjon és releváns legyen.