Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Lambda Calculus with Types

Lambda Calculus with Types

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

del av Perspectives in Logic-serien

Lambda Calculus with Types av Richard Statman
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521766142
  • Format:
  • Inbunden
  • Sidor:
  • 856
  • Utgiven:
  • 20. juni 2013
  • Mått:
  • 249x179x49 mm.
  • Vikt:
  • 1614 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 19. december 2024
Förlängd ångerrätt till 31. januari 2025

Om Richard Statman

Se alla böcker av Richard Statman

Beskrivning av 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.

Användarnas betyg av Lambda Calculus with Types



Andra köpte även...
Hitta liknande böcker
Boken Lambda Calculus with Types finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.