作者:《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.
《书当快意》内容简介:从《西游记》札记中的“多心”之辨到《水浒传》中的“品人录”,从漫谈《红楼》到体悟苏轼,二十九篇读书随
在你体验Minecraft冒险的同时,学习宝贵的编程技能!如果你很喜欢玩Minecraft,却被游戏中的建造耗费大量时间而困扰,并且你想要
《可喜的寂寞:老舍散文》内容简介:老舍的写作精力是惊人的。他又最会利用他的时间,他在朋友谈话、社会活动和栽花、养猫之间,不
《中国画技法入门100问:花鸟鱼虫》内容简介:中国的写意画以其鲜明的艺术特色,成为中华民族文化的一个重要组成部分。本书以一问
《琼美卡随想录》内容简介:“还是每天去散步,琼美卡夏季最好……”木心散文小说系列之《琼美卡随想录》,依据木心晚年定稿,第一
《李白诗选》内容简介:李白,字太白,号青莲居士,祖籍陇西城纪。李白是盛唐文化孕育出来的天才诗人,他非凡的自信、傲岸的人格和
这是一本内容翔实的色彩设计手册,通过讲解色相或搭配图例的基础知识,以及都市中的形象色彩设计,传递给读者一种色彩搭配感觉,
《颜真卿颜家庙碑(上)——中华碑帖精粹》内容简介:《颜氏家庙碑》全称《唐故通议大夫行薛王友柱国赠秘书少监国子祭酒太子少保颜
《木片集》内容简介:《木片集》为周作人后期散文的代表。题材上延续之前怀人忆旧、名物风俗、草木虫鱼等主题,忆《语丝》成立因缘
《英美学者对中国外交研究的信息源分析》内容简介:“一带一路”战略的推进需要世界各国对中国外交战略信息的充分获取和理解,需要
计算理论是计算机科学的理论基础。《计算理论基础》(第2版)介绍了计算理论最核心、最基本的内容,包括形式语言与自动机、可计算性
《无人机摄影与摄像从新手到高手》内容简介:本书根据20万学员喜欢的无人机摄影技巧,由两位资深的航拍摄影师分五部分内容编写而成
Likeanyothersoftwaresystem,Websitesgraduallyaccumulate"cruft"overtime.Theyslowdo...
《再见啦,那些让人忧心的生活谣言》内容简介:本书选取的谣言内容大部分来自微信文章,非常具有传播性。谣言内容覆盖范围广,包括
本书脱胎于作者在C语言的摇篮——贝尔实验室教授C语言的讲稿,几乎涵盖了C语言各个方面的难点,并包含了一些其他书籍很少分析到的
《深度学习之TensorFlow》内容简介:本书通过96个案例,全面讲解了深度学习神经网络原理和TensorFlow的使用方法。全书共分为3篇,第
《唐人佚诗解读》内容简介:本书主要内容包括诗人王绩的两种文集及其佚诗,贺知章的醉与醒,元结与《箧中集》作者之佚诗,张志和《
《Spark大数据分析实战》内容简介:作为一个通用大数据计算框架,Spark广泛应用于多种典型大数据分析场景。通过这本书,你将了解到
《分配正义新论:人道与公平》内容简介:当今的分配正义理论主要是义务论的。这种义务论分配正义理论一方面或多或少受到康德伦理思
《解密:腰椎间盘突出症》内容简介:腰椎间盘突出症导致的疼痛严重影响到患者的身心健康与生活质量,尤其是各种各样、难以忍受、长