尼古拉斯·阿舍 一种类型驱动的复杂类型预测理论。 （英语） Zbl 1157.03009号 芬丹。通知。 第2期第84页，第151-183页（2008年）. 本文讨论了共预测问题，即“两个具有不兼容类型约束的谓词在一个参数上生成”的情况（第155页）。描述并拒绝了连接类型方法，修改了与之相关的独立项公理后，接受了对类型方法。这种修改是通过这样一种谓词概念来实现的，根据这种概念，属性被赋予“特定概念化下的对象”，而不是一个特定的对象。因此，一种隐喻的形而上学被接受了。描述并举例说明了由此产生的类型组合逻辑（TCL），以及解决“量化难题”。作者表明，从计算角度来看，TCL是简单的。审核人：Pavel Materna（普拉哈） 引用于1文件 MSC公司： 03B65号 自然语言的逻辑 03B40型 组合逻辑与lambda演算 03B15号机组 高阶逻辑；类型理论（MSC2010） 关键词：复杂类型;λ演算;范畴解释;共同预测;胁迫;点类型 软件：GF公司 PDF格式BibTeX公司 XML格式引用 \textit{N.Asher}，芬达姆。通知。84，第2号，151--183（2008；Zbl 1157.03009）