Lambda Calculus with Types di Henk Barendregt, Wil Dekkers, Richard Statman edito da Cambridge University Press
Alta reperibilità

Lambda Calculus with Types

EAN:

9780521766142

ISBN:

0521766141

Pagine:
856
Formato:
Hardback
Lingua:
Inglese
Acquistabile con o la

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

Spedizione gratuita
€ 107.02
o 3 rate da € 35.67 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Lambda Calculus with Types
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti