Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Lambda Calculus with Types
Engelsk
Bogcover for Lambda Calculus with Types af Richard Statman, Henk Barendregt, Wil Dekkers, 9780521766142
Specifikationer
Sprog:
Engelsk
Sider:
856
ISBN-13:
9780521766142
Indbinding:
Hardback
ISBN-10:
0521766141
Kategori:
Udg. Dato:
20 jun 2013
Størrelse i cm:
17,9 x 24,9 x 4,9
Oplagsdato:
20 jun 2013

Lambda Calculus with Types

Engelsk
Hardback 2013
Format:

Bog beskrivelse
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

Forlags Vejl. pris
943,79 kr
Hos Booktok
797 kr
spar 16%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
856
ISBN-13:
9780521766142
Indbinding:
Hardback
ISBN-10:
0521766141
Kategori:
Udg. Dato:
20 jun 2013
Størrelse i cm:
17,9 x 24,9 x 4,9
Oplagsdato:
20 jun 2013
Finder produkter...
Kategori sammenhænge