The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$

达格·诺曼-$（\iota\rightarrow\iota）^n类型的序列函数\rightarrow\iota$形成所有$n\in\Bbb n的dcpo$

lmcs:1542个-计算机科学中的逻辑方法，2018年3月20日，第14卷第1期-https://doi.org/10.23638/LMCS-14(1:23)2018

$（\iota\rightarrow\iota）^n类型的序列函数\rightarrow\iota$形成所有$n\in\Bbb n的dcpo$第条

作者：达格·诺曼

我们证明了某些固定类型的序列泛函在类型2级，以一元函数的有限序列为参数，形成一个有向完整的部分排序。这给出了其中的完整特征类型部分排序的序列函数集具有此属性。作为作为一个工具，我们证明了问题类型，

第14卷第1期

发布日期：2018年3月20日

验收日期：2018年3月14日

提交日期：2017年8月18日

关键词：计算机科学-计算机科学中的逻辑、数学-逻辑

这个页面已经被浏览了1402次。

本文的PDF已下载308次。