作者:《LambdaCalculus and Combinators》书籍
出版社:Cambridge University Press
出版年:2008-8-11
评分:0.0
ISBN:9780521898850
所属分类:网络科技
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version, first published in 2008, is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.
市場競爭激烈,品質、價格已無分軒輊……風格變成最大的賣點。──VirginiaPostrel,”TheSubstanceofStyle”日本人不僅擅於創造風
风靡全球的网络隐私安全圣经高危信息生态环境的生存指南这是一部及时、生动、富有启发性的著作,可以改变人们对隐私、名声以及互
"DesignforEmotion"introducesyoutothewhy,what,when,whereandhowofdesigningforemoti...
作为引领移动技术潮流的软件平台,Android发布了NDK以支持Java和C的混合开发,使PC游戏可以在Android平台上焕发更多魅力。本书是
网络流优化高效智能算法及其应用 本书特色 《网络流优化高效智能算法及其应用》从便于计算机求解角度深入探讨网络流优化的理论应用前沿问题, 与实际紧密结合, 具有实...
本书详细介绍了利用PHP+MySQL开发常见类型Web应用程序的完整设计和编码技术,并对整体设计与关键代码给予了细致、深入的剖析。其
《画说作文(上)》内容简介:本书充满了趣味性,让孩子在轻松有趣的阅读中掌握写作的要点,通过漫画和故事帮助孩子建立良好的作文
《交换技术》系统介绍了交换技术的基本概念和工作原理,着重讨论当前通信网各种基本的交换技术,以循序渐进的方式和比较分析的观
Describesthetechnologicalsolutionsandstandardswhichwillenablethemigrationofvoice...
《DSP原理及其C编程开发技术》可作为电子、通信、自动化及计算机工程专业高年级本科生或研究生学习DSP的教材,也可作为专业工程技
《银河系边缘的小失常》内容简介:继《突然,响起一阵敲门声》之后,短篇小说大师埃特加·凯雷特创作的全新故事集。没有人能像埃特
《意志力红利》内容简介:迷茫、拖延、失控、坚持不下去…… 如何走出痛苦、混乱、低谷的状态? 要做成一件事,真的好难! 为什么有
《Python数据科学:技术详解与商业实践》内容简介:本书是一本集数据分析、数据挖掘、机器学习为一体,面向商业实战的养成式学习手
《近代宫廷戏曲档案文献研究》内容简介:京剧是中国传统文化之一,流播全国,影响甚广,有“国剧”之称,是中华民族传统文化的重要
插画师是绘制广泛用于各种场合的图画的专业绘画人员。有时,插画师会碰到一些从未想过,从来接触过,也没有任何经验的插画委托。
《大众媒介研究导论》(第7版)是一本经典的媒介研究方法教材。两位作者都是资深的媒介研究者,维曼博士是一家市场研究公司的总裁和
《科学哲学(中文版)》内容简介:何为科学?科学是否客观?科学能否解释一切?本书为当代科学哲学中的主要问题提供了一幅清晰准确
《UML风格(第2版)(英汉对照)》给出了一系列有效提高团队生产效率的编程风格的原则,描述了创建简洁、易于理解的UML图的标准和指南
家用游戏机简史 本书特色 本书以时间为轴,重新厘清了30余年游戏主机的成长历程,梳理了游戏产业的发展脉络。从幕后开发、技术变革、游戏策略等多重角度,解读五次游戏...
《华为绩效管理》内容简介:本书基于使华为的绩效管理体系在不同类型企业内落地的目的,对于众多企业如何学习华为的绩效管理体系进