Lambda Calculus with Types |
|
| Author:
| Barendregt, Henk
Dekkers, Wil
Statman, Richard |
| Series title: | Perspectives in Logic Ser. |
| ISBN: | 978-1-107-27298-9 |
| Publication Date: | Jul 2013 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | Contact Supplier contact
|
Book Description:
|
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.