English
LOOKING TO PLACE A BULK ORDER?CLICK HERE
Piracy-free
Assured Quality
Secure Transactions
Fast Delivery
Sustainably Printed
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Piracy-free
Assured Quality
Secure Transactions
Fast Delivery
Sustainably Printed
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
About The Book
Description
Author
Typed lambda calculus is used in functional programming (Haskell Clean) and proof assistants (Coq Isabelle HOL) which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types recursive types and intersection types. Numerous exercises are provided.
Details
ISBN 13
9780521766142
Publication Date
-20-06-2013
Pages
-856
Weight
-1459 grams
Dimensions
-170x244x44.45 mm
