关于PCF中一阶布尔函数的表达能力
摘要：布吉亚雷利最近的研究结果表明，在PCF中，一阶布尔函数的并行度半格既有无穷链又有无穷反链。通过考虑Sieber的顺序性关系的简单子类，我们确定了半格中的层级，并得出了关于不同层级上函数的不可表达性结果。这使我们能够进一步探索并行度半格的结构：我们确定了具有简单层级属性的半格，并展示了在某种意义上与层级相关的新无穷层次的存在。
作者：Riccardo Pucella, Prakash Panangaden
论文ID：cs/0405085
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23