Lambda Calculus with Types

by Wil Dekkers, Richard Statman, Henk Barendregt

Book Overview

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0521766141
• ISBN13: 9780521766142
• Release Date: July 2013
• Publisher: Cambridge University Press
• Length: 856 Pages
• Weight: 3.70 lbs.
• Dimensions: 1.9" x 7.1" x 9.8"