571 999 090 8.00—15.30

Doprava zdarma se Zásilkovnou nad 1 499 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč PPL 99 Kč Zásilkovna 54 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Lambda Calculus with Types

Name: Lambda Calculus with Types
Brand: Cambridge University Press
SKU: 04372660
Price: 2878 CZK
Availability: InStock

Henk Barendregt

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 04372660

Nakladatelství Cambridge University Press, června 2013

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software d... Celý popis

Libristo kód: 04372660

288 b

2 878 Kč

Skladem u dodavatele Odesíláme za 14-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Types and Programming Languages Pierce

/ Pevná

2 614 Kč

Interactive Theorem Proving and Program Development Yves Bertot

/ Brožovaná

1 831 Kč

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.