Total objects in inductively defined types
Total objects in inductively defined types
复制标题
归纳定义类型的对象总数
DOI：
--
复制
发表时间：
1997
影响因子：
0.3
通讯作者：
D. Normann
中科院分区：
文献类型：
--
作者：
L. Kristiansen;D. Normann
抽象的。具有整体性的相干空间和域被用来解释归纳定义的类型。定义了一类具有整体性的凝聚空间，并在这类凝聚空间中分析了正归纳型构造子的闭包。类型流是作为严格正归纳定义的类型的推广而引入的。利用连续递归定理建立了类型流的语义分析。定义了总体的域的层次
定义了正归纳法，证明了子族的稠密性。
Abstract. Coherence-spaces and domains with totality are used to give interpretations of inductively defined types. A category of coherence spaces with totality is defined and the closure of positive inductive type constructors is analysed within this category. Type streams are introduced as a generalisation of types defined by strictly positive inductive definition. A semantical analysis of type streams with continuous recursion theorems is established. A hierarchy of domains with totality defined
by positive induction is defined, and density for a sub-hierarchy is proved.