本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统,它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材,同时也适合用于高等研究的技术参考书。
第1章 引言
1.1 模型程序设计语言
1.2 λ记法
1.3 等式,归纳和语义
1.4 类型和类型系统
1.5 记法和数学约定
1.6 集合论基础知识
1.7 语法和语义
1.8 归纳法
第2章 PCF语言
2.1 引言
2.2 PCF语法
2.3 PCF程序及其语义
2.4 PCF归纳和符号解释程序
2.5 PCF编程样例,表达能和限度
2.6 PCF的变体和扩展
第3章 泛代数及代数数据类型
3.1 引言
3.2 代数规范概述
3.3 代数,基调和项
3.4 等式,可靠性和完备性
3.5 同态和始代数
3.6 代数数据类型
3.7 重写系统
第4章 简单类型化λ演算
4.1 引言
4.2 类型
4.3 项
4.4 证明系统
4.5 Henkin模型,可靠性和完备性
第5章 类型化λ演算模型
5.1 引言
5.2 域论模型和不动点
5.3 不动点归纳
5.4 计算适当性和完全抽象
5.5 递归理论模型
5.6 部分等价关系和递归
第6章 命令式程序
6.1 引言
6.2 while程序
6.3 操作语义
6.4 指称语义
……
第7章 范畴和递归类型
第8章 逻辑关系
第9章 多态与模块性
第10章 类型适应性和相关概念
第11章 类型推理
参考文献
《和2~12岁的孩子谈谈性》内容简介:2~12岁的小孩,对自己的身体总是充满了好奇,会提出千奇百怪的问题:从认识身体的各个部位,到
本书通过分析9类质感表现的特点,向读者介绍了利用Illustrator进行绘画的技法。这9类质感包括传统美术作品质感、人体质感、动物质
郑泽宇,现为才云科技(Caicloud.io)联合创始人、首席大数据科学家。针对分布式TensorFlow上手难、管理难、监控难、上线难等问题
《Java就业培训教程》全书共分11章。第1章详细地讲解了Java开发环境的搭建、反编译工具的使用、JDK文档资料的查阅以及Java程序的
《Excel数据分析可视化必备技能案例视频精讲》内容简介:数据分析的目的是快速发现问题,进而分析问题并解决问题。因此,通过制作可
《云原生时代的CoreDNS学习指南》内容简介:本书介绍了CoreDNS与其他DNS服务器的区别、DNS基础理论、CoreDNS基本配置、CoreDNS管理
Acompleteandthoroughandup-to-datereferenceguideforCSS.StopwastingtimedoingIntern...
《张黑女墓志》内容简介:《张黑女墓志》,即《张玄墓志》,全称《魏故南阳张府君墓》。张玄字黑女,清时因避康熙帝玄烨名讳,称《
Clojure是一门Lisp方言。它通过函数式编程技术,直接支持并发软件开发,得到众多开发人员的欢迎,广泛应用于各个领域。Web开发是
《大图景:论生命的起源、意义和宇宙本身》内容简介:作者用天文学、物理学、化学、生物学和哲学的丝线编织成一张宇宙大图景,让我
《呵护女性生殖健康》内容简介:妇科、产科误区和疾病无声无息地困扰着广大女性朋友,严重伤害了女性健康,甚至损害了女性的生殖能
《中国:推动金砖国家合作第二个黄金十年》内容简介:“求和平、谋发展、促合作、图共赢”,金砖国家“十年磨一剑”,一步一个脚印
本书对Photoshop中最重要的通道、混合模式、图层、蒙版做了深入剖析,并列举了大量相关实例,有助于读者更深入理解和把握Photosh
《C++反汇编与逆向分析技术揭秘》内容简介:本书既是一本全面而系统地讲解反汇编与逆向分析技术的安全类专著,又是一部深刻揭示C++
ProgramminginScalaisthedefinitivebookonScala,thenewlanguagefortheJavaPlatformtha...
《金融的逻辑(套装共2册)》内容简介:《金融的逻辑》(上、下)是陈志武教授关于金融的发展历史、演变、影响和作用的一部作品,由
本书采用由浅入深、循序渐进的介绍方法,在内容编写上充分考虑到初学者的实际阅读需求,通过大量实用的操作步骤,逐步讲解在Drea
《纳税筹划实战精选百例(第6版)》内容简介:全书根据2016年3月23日后颁布的“营改增”政策修订,集实例与纳税筹划方案于一体,包
Withmorethan200practicalrecipes,thisbookhelpsyouperformdataanalysiswithRquicklya...
《校园三剑客:再生战士》内容简介:张小开在网上认识了A国网友玛奇卡,他在聊天中得知,玛奇卡得了小儿麻痹症,一直以来都和爸爸相