Richard Statman – författare
Visar alla böcker från författaren Richard Statman. Handla med fri frakt och snabb leverans.
1 produkter
Lambda Calculus with Types
Av Henk Barendregt, Wil Dekkers m. fl.
Inbunden, 2013
1400 kr
Lägg i varukorg
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the …
