áru
(üres)
Kapcsolat
Fiók 
\nTyped 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...
tovább
\n
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.
\n leírás elrejtése- Kiadó: Cambridge University Press
- Kód:
- Kiadás éve: 2013
- Nyelv: Angol
- Kötés: Kemény táblás
- Oldalak száma: 856
- Csomag szélessége: 24.9 cm
- Csomag magassága: 17.9 cm
- Csomag mélysége: 4.9 cm
- Csomag súlya: 1.7 kg
Recenzió