Lambda Calculus with Types Hardback (Perspectives in Logic) - Hardcover

Barendregt; Dekkers; Statman

Hardcover

ISBN 10: 0521766141 ISBN 13: 9780521766142

Verlag: Cambridge University Press, 2013

Inhaltsangabe

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.

Über diesen Titel

Críticas:

'The book has a place in undergraduate libraries because of its uniquely comprehensive, if theoretical, treatment of a timely, widely important subject. Recommended.' D. V. Feldman, Choice

'The authors have produced a well-written, organised and comprehensive account of three important type systems. These systems' properties have been rich sources of interest to logicians for many years; their problems are not all solved, and in future work this book will almost certainly become a standard reference about them. It will also allow the more mathematically inclined computer scientist to obtain a deeper understanding of the principles behind some of the higher order languages in current use.' Bulletin of the London Mathematical Society

Biografía del autor:

Henk Barendregt holds the chair on the Foundations of Mathematics and Computer Science at Radboud University, Nijmegen, The Netherlands.

Über diese Auflage

• Verlag: Cambridge University Press
• Erscheinungsdatum: 2013
• ISBN 10: 0521766141
• ISBN 13: 9780521766142
• Einband: Tapa dura
• Anzahl der Seiten: 854