马丁·埃斯卡多;马丁·霍夫曼;托马斯·斯特里彻 实数计算的区间模型的非连续性。 （英语） Zbl 1067.68070号 数学。结构。计算。科学。 14，第6803-814号（2004年）. 摘要：我们表明，在区间域环境中的实数计算在精确的数学意义上是“固有的并行”的。为此，我们将Sierpiñski域上弱并行-or运算的计算减少为区间域上加法运算的计算。 引用于三评论引用于7文件 MSC公司： 2005年第68季度 计算模型（图灵机等）（MSC2010） 68问题55 计算理论中的语义学 03D65年 高级类型和集合递归理论 68甲18 函数编程和lambda演算 06B35号 连续格和偏序集，应用 关键词：平行度;函数式编程;实数计算;区间环境 PDF格式BibTeX公司 XML格式引用 \textit{M.Escardó}等人，《数学》。结构。计算。科学。14，第6号，803--814（2004；Zbl 1067.68070） 全文： 内政部