Lambda Calculus with Types

Lambda Calculus with Types

Henk (Radboud Universiteit Nijmegen) Barendregt, Wil (Radboud Universiteit Nijmegen) Dekkers, Richard Statman
a najít nejvýhodnější cenu za celou objednávku
Knihu koupíte v 1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku. Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Lambda Calculus with Types koupíte na Bookshop.cz
Bookshop.cz
2 656 Kč
Není skladem
Krátký popis
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…

Zobrazit celý popis
Výběr knih vydavatele Cambridge University Press
Kniha Own It! 2 Project Book

Own It! 2 Project Book

Cena od 121 Kč

  Chci koupit
Kniha Double Cross

Double Cross

Cena od 159 Kč

  Chci koupit
Kniha Picture to Remember Level 2

Picture to Remember Level 2

Cena od 185 Kč

  Chci koupit
Kniha Grow the Pie

Grow the Pie

Cena od 594 Kč

  Chci koupit
Kniha Trumpet Voluntary Level 6

Trumpet Voluntary Level 6

Cena od 172 Kč

  Chci koupit
Kniha John Doe

John Doe

Cena od 172 Kč

  Chci koupit
Kniha Kid´s Box 1 Language Portfolio

Kid´s Box 1 Language Portfolio

Cena od 80 Kč

  Chci koupit
Kniha More! 4 Pracovní sešit

More! 4 Pracovní sešit

Cena od 249 Kč

  Chci koupit
Zobrazit všechny knihy vydavatele Cambridge University Press
Naše tipy
Kniha Mezi láskou a nenávistí

Mezi láskou a nenávistí

Cena od 348 Kč

  Chci koupit
Kniha Pod andaluským nebem

Pod andaluským nebem

Cena od 283 Kč

  Chci koupit
Kniha Přírodopis I pro 6. ročník ZŠ

Přírodopis I pro 6. ročník ZŠ

Cena od 151 Kč

  Chci koupit
Kniha Severní Čechy

Severní Čechy

Cena od 166 Kč

  Chci koupit
Nevhodný letní románek
Nevhodný letní románek
Ali Hazelwood
  Chci koupit
Nevhodný letní románek - Ali Hazelwood

strongNovinka od královny romantických komedií Ali Hazelwood!/strong Je to takové klišé, až jí z toho téměř puká srdce: starší muž a mladší žena, úspěšný biotechnolog a studentka, nejlepší kamarád jejího bratra a dívka, kterou on sotva vnímá. Jenže Maya Killgorová na o patnáct let staršího Conora Harknesse nemůže přestat myslet. I když by byl jakýkoli vztah mezi nimi nevhodný a on dal jasně najevo, že ji ve svém životě nechce. Prostě by se přes něj měla přenést. Jenže pak se Mayin bratr rozhodne se oženit v Taormině a ona skončí spolu s Conorem na více než týden uvězněná v romantické sicilské vile. A když se svatba začne vymykat kontrole, rozhodne se, že letní románek je možná přesně to, co potřebuje – i když je to románek krajně nevhodný.