Description: Lambda Calculus With Types, Hardcover by Barendregt, Henk; Dekkers, Wil; Statman, Richard; Alessi, Fabio (CON); Bezem, Marc (CON), ISBN 0521766141, ISBN-13 9780521766142, Like New Used, Free shipping in the US This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
Price: 107.31 USD
Location: Jessup, Maryland
End Time: 2024-11-29T13:22:28.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Book Title: Lambda Calculus With Types
Number of Pages: 856 Pages
Publication Name: Lambda Calculus with Types
Language: English
Publisher: Cambridge University Press
Item Height: 1.7 in
Publication Year: 2013
Subject: Calculus, Logic
Item Weight: 54.9 Oz
Type: Textbook
Item Length: 9.6 in
Subject Area: Mathematics
Author: Henk Barendregt, Richard Statman, Wil Dekkers
Series: Perspectives in Logic Ser.
Item Width: 6.7 in
Format: Hardcover
