Ucebnice.cz Odborná • naučnáPřírodní vědyMatematika
Termín obdržení zásilky
Dodací doba je ovlivněna statním svátkem ( 17.11 )
Česká pošta Čtvrtek 19.11
PPL Čtvrtek 19.11
Osobní odběr Pátek 20.11
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Lambda Calculus with Types

Lambda Calculus with Types

2490  Kč

Sleva až 70% u třetiny knih
\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
Autor:
Nakladatel: Cambridge University Press
ISBN: 9780521766142
Rok vydání: 2013
Jazyk : Angličtina
Vazba: pevná
Počet stran: 856
Mohlo by se vám také líbit..