De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
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.
  • 8-11 hverdage.
  • 26. november 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: