丹尼尔·卡贝扎;曼纽尔·赫尔梅内吉尔多;詹姆斯·利普顿 Hiord:一种具有谓词抽象的无类型高阶逻辑编程语言。 (英语) Zbl 1115.68370号 Michael J.Maher(编辑),《计算机科学进展——2004年亚洲》。高层决策。第九届亚洲计算科学会议。2004年12月8日至10日,在泰国清迈举行的Jean-Louis Lassez五周岁生日上,向他致敬。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24087-X/pbk)。计算机科学课堂讲稿332193-108(2004)。 摘要:介绍了一种新的形式主义,称为Hiord,用于定义具有谓词抽象的无类型高阶逻辑编程语言。提出了一种基于偏组合代数的模型理论,其形式化是合理的。讨论了一种建立在Hiord子集上的编程语言及其实现。考虑了在该框架中定义模块的新建议,以及几个示例。关于整个系列,请参见[兹比尔1063.68009]. 引用于2文件 MSC公司: 68N17号 逻辑编程 软件:Hiord公司;高阶逻辑 PDF格式BibTeX公司 XML格式引用 \textit{D.Cabeza}等人,Lect。注释计算。科学。3321,93--108(2004;Zbl 1115.68370) 全文: 内政部