lambda calculus を通販サイトで比較

洋書 Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

ショップ Glomarket

価格￥19,762

商品の説明

*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。・お名前またはご住所が法人・団体名義（XX株式会社等）、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。・当店でご購入された商品は、原則として、「個...

A++ and the Lambda Calculus Principles of Functional Programming【電子書籍】[ Georg P. Loczewski ]

ショップ楽天Kobo電子書籍ストア

価格￥1,820

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞The book contains an introduction to the Lambda Calculus as the theoretical foundation of all 'Functional Programming' languages. The Lambda Calculus has been created by the American logician Alonzo Church in the 1930's and is documented in his works published in 1941 under the title 'The Calculi of Lambda Conversion'. Alonzo Church wanted to formulate a mathematical logical system and had no intent to create a programming language. The intrinsic relationship of his system to programming was discovered much later in a time in which programming of computers became an issue. The book 'A++ and the Lambda Calculus' also contains a brief introduction to the educational programming language A++, a minimal programming language that has been built with the Lambda Calculus as its foundation. The purpose of A++ is to serve as a learning instrument rather than as a programming language used to solve practical problems. A++ is supposed to be an excellent tool to become familiar with the co...

洋書 Paperback, From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement (Lecture Notes in Computer Science (12065))

ショップ Glomarket

価格￥11,502

商品の詳細ページへ(楽天市場)

商品の説明

*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。・お名前またはご住所が法人・団体名義（XX株式会社等）、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。・当店でご購入された商品は、原則として、「個...

Lambda Calculus with Types【電子書籍】[ Henk Barendregt ]

ショップ楽天Kobo電子書籍ストア

価格￥10,468

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidenc...

From Lambda Calculus to Cybersecurity Through Program Analysis Essays Dedicated to Chris Hankin on the Occasion of His Retirement【電子書籍】

ショップ楽天Kobo電子書籍ストア

価格￥6,076

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday.＜/p＞＜p＞Chris Hankin is a Fellow of the Institute for Security Science and Technology and a Professor of Computing Science.＜/p＞＜p＞His research is in cyber security, data analytics and semantics-based program analysis. He leads multidisciplinary projects focused on developing advanced visual analytics and providing better decision support to defend against cyber attacks.＜/p＞＜p＞This Festschrift is a collection of scientific contributions related to the topics that have marked the research career of Professor Chris Hankin. The contributions have been written to honour Chris' career and on the occasion of his retirement.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。

洋書 Paperback, An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)

ショップ Glomarket

価格￥7,921

商品の詳細ページへ(楽天市場)

商品の説明

*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。・お名前またはご住所が法人・団体名義（XX株式会社等）、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。・当店でご購入された商品は、原則として、「個...

An Introduction to Functional Programming Through Lambda Calculus【電子書籍】[ Greg Michaelson ]

ショップ楽天Kobo電子書籍ストア

価格￥3,332

商品の詳細ページへ(楽天市場)

商品の説明

＜p＞Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming language. This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちらをクリックして下さい。 ※このページからは注文できません。