Bestellen Terug

Hoofdkenmerken

Auteur:	Barendregt, Henk
Titel:	Lambda Calculus with Types
Uitgever:	Cambridge University Press
ISBN:	9780521766142
Serie:	Perspectives in Logic
Serie:	Perspectives in Logic
Land van oorsprong:	United Kingdom
Prijs:	€ 99.83
Verschijningsdatum:	20-06-2013
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Mathematical logic
Geillustreerd:	Worked examples or Exercises; 2 Halftones, unspecified; 50 Line drawings, unspecified
Dewey code:	511.35

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	856
Hoogte mm.:	179
Breedte mm.:	249
Dikte mm.:	49
Gewicht gr.:	1614

 

Inhoud:

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.