Lambda Calculus with Types - Perspectives in Logic - Barendregt, Henk (Radboud Universiteit Nijmegen) - Books - Cambridge University Press - 9780521766142 - June 20, 2013
In case cover and title do not match, the title is correct

Lambda Calculus with Types - Perspectives in Logic

Barendregt, Henk (Radboud Universiteit Nijmegen)

Price
$ 103.99

Ordered from remote warehouse

Expected delivery Jan 20 - 31, 2025

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Lambda Calculus with Types - Perspectives in Logic

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.

854 pages, 52 b/w illus. 300 exercises

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 20, 2013
ISBN13 9780521766142
Publishers Cambridge University Press
Pages 856
Dimensions 249 × 179 × 49 mm   ·   1.61 kg
Language English  

See all of Barendregt, Henk (Radboud Universiteit Nijmegen) ( e.g. Hardcover Book )