Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin
Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin
复制标题
计算、意义和逻辑：献给戈登·普洛特金的文章
DOI：
10.1016/j.entcs.2007.02.004
复制
发表时间：
2007
影响因子：
0.5
通讯作者：
G. Plotkin
中科院分区：
文献类型：
--
作者：
G. Plotkin
我们推导并定义了一类拓扑域，其对象是特定的拓扑空间，推广了域理论中常用的ω-连续dcppos。我们的范畴支持域理论的所有标准构造，包括递归域方程的解。它还支持在方程理论中构造自由代数，可以用作可计算性理论的基础，并提供参数多态性的模型。
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations. It also supports the construction of free algebras for (in)equational theories, can be used as the basis for a theory of computability, and provides a model of parametric polymorphism.