Alltid gratis frakt*
Kundene elsker oss
Norges billigste bøker
Hjelp
Logg inn
  1. Hjem
  2. Bøker
  3. Bedrift og læring
  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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521766142
  • Bindende:
  • Hardback
  • Sider:
  • 856
  • Utgitt:
  • 20 juni 2013
  • Dimensjoner:
  • 249x179x49 mm.
  • Vekt:
  • 1614 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 30 oktober 2024

Om Richard Statman

Se alle bøkene av Richard Statman

Beskrivelse 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.

Brukervurderinger av Lambda Calculus with Types



Andre har også kjøpt..
Finn lignende bøker
Boken Lambda Calculus with Types finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.