Zwischen und
Kriterien zurücksetzen

Lambda Calculus with Types (Barendregt, Henk / Dekkers, Wil / Statman, Richard)
Lambda Calculus with Types
Autor Barendregt, Henk / Dekkers, Wil / Statman, Richard
Verlag Cambridge University Press
Sprache Englisch
Einband Fester Einband
Erscheinungsjahr 2014
Seiten 856 S.
Artikelnummer 11060043
ISBN 978-0-521-76614-2
CHF 99.00
Folgt in ca. 10 Arbeitstagen
Zusammenfassung
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.

This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.

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