1429:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

856 sidor
2013

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.

Författare: Henk Barendregt, Wil Dekkers, Richard Statman, Henk Barendregt, Wil Dekkers
Format: Inbunden
ISBN: 9780521766142
Språk: Engelska
Antal sidor: 856
Utgivningsdatum: 2013-06-20
Förlag: Cambridge University Press