Lambda Calculus with Types - Perspectives in Logic - Barendregt, Henk (Radboud Universiteit Nijmegen) - 書籍 - Cambridge University Press - 9780521766142 - 2013年6月20日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Barendregt, Henk (Radboud Universiteit Nijmegen)
Lambda Calculus with Types - Perspectives in Logic

価格
¥ 18.331
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月30日 - 年11月17日
Barendregt, Henk (Radboud Universiteit Nijmegen) の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

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.

854 pages, 52 b/w illus. 300 exercises

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2013年6月20日
ISBN13 9780521766142
出版社 Cambridge University Press
ページ数 856
寸法 249 × 179 × 49 mm   ·   1,61 kg
言語 英語  

同じ出版社からのその他の記事

Barendregt, Henk (Radboud Universiteit Nijmegen)のすべてを見る