Markedets billigste bøger
Gratis fragt fra 599,- kr
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Lambda Calculus with Types

Lambda Calculus with Types

af Richard Statman, Henk (Radboud Universiteit Nijmegen) Barendregt, Wil (Radboud Universiteit Nijmegen) Dekkers

indgår i Perspectives in Logic serien

Lambda Calculus with Types af Richard Statman
Bag om Lambda Calculus with Types

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521766142
  • Indbinding:
  • Hardback
  • Sideantal:
  • 856
  • Udgivet:
  • 20. Juni 2013
  • Størrelse:
  • 249x179x49 mm.
  • Vægt:
  • 1614 g.
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 11. Oktober 2024

Bag om Richard Statman

Vis alle bøger af Richard Statman

Beskrivelse af Lambda Calculus with Types

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.

Brugerbedømmelser af Lambda Calculus with Types



Andre købte også..
Find lignende bøger
Bogen Lambda Calculus with Types findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.