后退,R.J.R。;冯·赖特,J。 用高阶逻辑形式化的精炼概念。 (英语) Zbl 0703.68074号 形式方面计算。 2,第3期,247-272(1990).MSC公司:60年第68季度 68吨15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.J.R.Back}和textit{J.von Wright},正式Asp。计算。2,第3号,247--272(1990;Zbl 0703.68074) 全文: 内政部
劳伦斯·C·鲍尔森。 简单类型理论的公式(对于伊莎贝尔)。 (英语) Zbl 0781.03007号 科罗格-88,Proc。国际会议,塔林/苏联1988年,法律。不是。计算。科学。417, 246-274 (1990).MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson},in:关于双闭范畴中的完全一致性条件:证明理论的一个新应用。246--274(1990年;Zbl 0781.03007)