Lambda Calculus With Types by Henk Barendregt (English) Hardcover Book
108,33 €
By Henk Barendregt, Wil Dekkers, Richard Statman. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and has been treated in the first author's classic The Lambda Calculus (1984).
Jetzt bei Ebay:
