作者:《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.
《中国文化企业报告2015》内容简介:文化产业的产业变动日益剧烈,企业发展也呈现出两极分化的特点;向优秀文化企业学习,避免失败
本书是由世界级C语言专家编写的C标准库经典著作。英文版已经重印十多次,影响了几代程序员。本书结合C标准的相关部分,精辟地讲述
Ifyouveeverreadabookonane-reader,unleashedyourinnerrockstarplayingGuitarHero,bui...
本书结合应用介绍了PHP+MySQL构建Web系统的技术,并附有大量代码实例。全书共24章,分为4个部分:使用PHP、走进MySQL、典型模块和
本书是数字图像处理领域的一本新著,是1977年问世的《数字图像处理(第一版)》的重要修订与扩充。较上一版,啬了关于小波变换、
《家装设计速通指南·色彩搭配详解》内容简介:色彩搭配是家装设计的重要环节。本书以基本色彩理论为基础,深入浅出地阐述了色彩对
Visual Basic程序设计基础 本书特色 《高等学校“十二五”公共课计算机规划教材:Visual Basic程序设计基础》可作为普通高等学校非计算机专业本...
全书一共分为9章,首先从宏观上介绍了CSS3技术的最新发展现状、新特性,以及现有的主流浏览器对这些新特性的支持情况;然后详细讲
《3D游戏编程大师技巧》是游戏编程畅销书作者AndréLaMothe的扛鼎之作,从游戏编程和软件引擎的角度深入探讨了3D图形学的各个重要
内容简介:现代无线通信技术一路高歌猛进,引领潮流,是发展最为迅速的技术领域。LTE是继3G之后的GSM演进方向,是4G蜂窝网络的全
《汉英科技翻译》是以原汁原味的英语原文作为译文这样的创新思维构思的,采用了从汉语语法和英语语法的结合上阐述翻译方法这样的
Python是目前最流行的动态脚本语言之一。本书共27章,由浅入深、全面系统地介绍了利用Python语言进行程序开发的知识和技巧,包括
数学之美-第二版 本书特色 几年前,“数学之美”系列文章原刊载于谷歌黑板报,获得上百万次点击,得到读者高度评价。 正式出版前,吴军博士几乎把所有文章都重写了一遍...
【编辑推荐】1.马云领衔创作,阿里集团权威解读“互联网+”。2.国务院发展研究中心专家审定,最官方、最权威的“互联网+”著作。
《江苏风俗史》内容简介:本书是“江苏文脉整理与研究工程”研究成果,由南京大学博士生导师马俊亚教授完成。作者按时间顺序,对江
《中国至2050年信息科技发展路线图》根据国家战略需求和科学技术发展的宏观规律,对信息科学技术未来40年的发展趋势和我国应选择
《赋能工作法》内容简介:高效赋能团队的系统指南 最佳执行教练沉淀十余年培训经验与研究心得 从赋能的底层逻辑引入,层层递进 带你
虽然《我是猫》为人熟知,但未必被大家仔细读过。为了让读者能重拾它的独特之美,Graphic社计划为此书重新装帧,并集结出版,因此
《基础生物科学》是为大学本科学生编写的教材,适用于非生物专业公共课和包括农、林、医、生物科学与生物技术、生物工程等生物类
《Rhino7犀利建模》内容简介:本书是由长沙卓尔谟教育科技有限公司编写的一部以Rhino7(犀牛软件)建模方法教学为核心的综合性教程