Tracked shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Lambda Calculus With Types Hardback (Perspectives in Logic)
Type
Physical Book
Author
Publisher
Year
2013
Language
English
Pages
854
Format
Hardcover
Dimensions
24.9 x 18.0 x 4.8 cm
Weight
1.68 kg.
ISBN13
9780521766142
Edition No.
1
Categories

Lambda Calculus With Types Hardback (Perspectives in Logic)

Henk Barendregt (Author) · Wil Dekkers (Author) · Richard Statman (Author) · Cambridge University Press · Hardcover

Lambda Calculus With Types Hardback (Perspectives in Logic) - Barendregt, Henk ; Dekkers, Wil ; Statman, Richard

New Book Imported to Taiwan
Delivery: 23 Jul - 31 Jul Shipping: 5 to 6 business days.
NT$ 4,240
NT$ 4,240

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Lambda Calculus With Types Hardback (Perspectives in Logic) "

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews