域论导论
编程语言
2016-06-15 v4 计算机科学中的逻辑
摘要
本专著是对Dana Scott的《计算的数学理论讲义》的持续修订。Scott的专著使用了一种称为邻域系统的域表述，其中有限元素是从称为“标记”的主对象集中选出的子集。由于标记几乎没有直观意义，Scott放弃了邻域系统，转而采用一种等价的域表述，称为信息系统。遗憾的是，他尚未重写其专著以反映这一变化。我们已用有限基而非信息系统重写了Scott的专著。有限基是一种在有限一致子集上关于最小上界封闭的信息系统。这一约定确保每个有限答案由单个基对象而非一组对象表示。
引用
@article{arxiv.1605.05858,
title = {Domain Theory: An Introduction},
author = {Robert Cartwright and Rebecca Parsons and Moez AbdelGawad},
journal= {arXiv preprint arXiv:1605.05858},
year = {2016}
}
备注
90 pages