作者:《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.
《中国财政科研教学的“老兵”:邓子基传》内容简介:邓子基是我国著名经济学家、财政学家和教育家、中华人民共和国财政学奠基人和
《高新科技知多少》内容简介:本书由重庆市科学技术协会、重庆市科学技术局和重庆市全民科学素质纲要实施工作办公室主编,是一本面
中文版Dreamweaver网页设计 本书特色 《中文版Dreamweaver网页设计》为"新手视听轻松学"系列丛书之一,针对初学者的需求,从零开始、系统全面地...
生产系统仿真——plant simulation 应用教程 本书特色 周金平编著的《生产系统仿真——plantsimulation应用教程》的一个显著...
《高绩效HR必备图表范例》内容简介:当今人力资源管理领域面临诸多新问题、新环境、新理念、新技术,各种名类繁杂的图书也大量涌现
《锋利的SQL》内容简介:本书从基础、开发、性能调整和实战4方面介绍了SQL技术及其应用,包括数据库与架构、表管理、索引管理、基本
◎中国工业圈“网红”,人民日报、新华社、工业评论、36氪特邀作者,千万级网络红文《闲话工业4.0六重天》作者兔哥主笔◎水月资本
这本书采取类似于英语教学中行之有效的情景会话的教学方法,全面深入地剖析了Linux最新版本核心源代码,并对Linux核心的独特优点
高级数据结构 本书特色 《高级数据结构》在基本数据结构的基础上,围绕一些常用的高级数据结构,结合大量实战例题,深入分析“数据结构是如何服务于算法的”。内容包括:...
计算动力学 内容简介 本书将计算结构动力学、计算冲击动力学和计算多体系统动力学内容有机整合,系统讲授工程结构和机械系统在各类瞬态载荷作用下动力学行为的数值分析方...
《元人杂剧选》内容简介:本书是从现存的可信为元人之作的一百三十多种杂剧中挑选出来的。共选了十六个剧本。入选各剧,均以明人臧
网页设计(DW/FL/PS)从新手到高手-(随书赠送光盘1张) 本书特色 本书是一本网页设计学习宝典,全书通过150多个实战案例,以及250多分钟全程同步语音教...
《PhotoshopCC移动UI界面设计与实践(含DVD光盘1张)》一共包含三部分,共14个Part的内容。第1部分基础篇(Part1~Part3):介绍移动
《云计算核心技术剖析》,本书首先介绍了云计算理论方面的知识,接着剖析了多个顶尖云计算产品(比如GoogleAppEngine和Salesforc
《金融商业数据分析》内容简介:这是一本金融商业数据分析的实战工具书。作者都是在金融行业有10~20年数据分析经验的资深专家,他
《Prometheus监控实战》内容简介:本书由浅入深地对Prometheus进行了全方位的介绍,内容通俗易懂,理论与实践相结合。首先从监控体
《倪徽奥传》内容简介:倪徽奥,他的一生堪称传奇,东京大审判,他以凛然正气,将侵华日军战犯绳之以法,作为新中国第一位国际法院
计算机便携化是未来的发展趋势,而Android作为最受欢迎的手机、平板电脑操作之一,其发展的上升势头是势不可当的。而Android应用
安全系统中的多模态生物特征识别与智能图像处理 本书特色 《安全系统中的多模态生物特征识别与智能图像处理》分为三部分来“安全系统中的论述多模态生物特征...
《商业模式与战略共舞》内容简介:本书为T型商业模式系列第二本书,介绍了商业模式与战略之间的区别与联系,从理论上把商业模式的内