Alta reperibilità
Lambda Calculus with Types
- Editore:
Cambridge University Press
- Collana:
- Perspectives In Logic
- 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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti