Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Lambda Calculus with Types

Name: Lambda Calculus with Types
Brand: Cambridge University Press
SKU: 04372660
Price: 41783 HUF
Availability: InStock
Author: Henk Barendregt
ISBN: 9780521766142

Henk Barendregt

Language

English

Book Hardback

Libristo code: 04372660

Publishers Cambridge University Press, June 2013

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software d... Full description

Libristo code: 04372660

285 b

41 783 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Interactive Theorem Proving and Program Development Yves Bertot

Paperback

33 113 Ft

Types and Programming Languages Pierce

Hardback

39 201 Ft

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 universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.