Lambda Calculus with Types
Henk (Radboud Universiteit Nijmegen) Barendregt,
Wil (Radboud Universiteit Nijmegen) Dekkers,
Richard Statman
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.
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
Zobrazit celý popis
Výběr knih vydavatele
Cambridge University Press
Zobrazit všechny knihy vydavatele
Cambridge University Press
Naše tipy
