贵族

Hiord:一种具有谓词抽象的无类型的高阶逻辑程序设计语言Hiord介绍了一种定义谓词抽象的无类型高阶逻辑程序设计语言的新形式Hiord。提出了一种基于部分组合代数的模型理论,并对其形式化进行了证明。讨论了一种基于Hiord子集的程序设计语言及其实现。本文考虑了在这个框架中定义模块的新建议,并给出了几个例子。

这个软件也是同行评审按日记帐汤姆斯.