Name: Lambda Calculus with Types
Price: 950.95 DKK
Availability: InStock
Author: Richard Statman
ISBN: 9780521766142

Lambda Calculus with Types af Richard Statman

Du sparer 0% ift. normalprisen Spar 0%

Hardback
8-11 hverdage
950,95 kr.

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

Forlag:
Cambridge University Press

Indbinding:
Hardback

Sideantal:
856

Udgivet:
20. Juni 2013

Størrelse:
249x179x49 mm.

Vægt:
1614 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 18. Oktober 2024

På lager

Normalpris

950,95 kr. + Fragt
~~950,95 kr.~~

Medlemspris

900,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Business og læring

Lambda Calculus with Types - Richard Statman - Bog

Bag om Richard Statman

Beskrivelse af Lambda Calculus with Types

Brugerbedømmelser af Lambda Calculus with Types

Gør som tusindvis af andre bogelskere