吉恩·盖利埃 克里普克模型和二阶(lambda)演算的(in)方程逻辑。 (英语) Zbl 0873.03017号 Ann.纯粹应用。逻辑 84,第3期,257-316(1997).MSC公司:03B40型 18日第15天 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gallier},Ann.纯粹应用。逻辑84,编号3,257-316(1997;Zbl 0873.03017) 全文: 内政部
装载机,拉尔夫 归纳类型的等式理论。 (英语) Zbl 0873.03019号 Ann.纯粹应用。逻辑 84,第2期,175-217(1997).MSC公司:03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Loader},Ann.纯应用。逻辑84,No.2,175--217(1997;Zbl 0873.03019) 全文: 内政部