Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 无穷逻辑和0-1定律。 (英语) Zbl 0762.03016号 Inf.计算。 98,第2期,258-294(1992).MSC公司:03立方厘米75 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Kolaitis}和\textit{M.Y.Vardi},Inf.Compute。98,第2号,258--294(1992;Zbl 0762.03016) 全文: 内政部
A.J.Kfoury。;Tiuryn,J。 二阶\(\lambda \)演算有限秩片段中的类型重构。 (英语) 兹比尔0753.68022 Inf.计算。 98,第2期,228-257(1992).MSC公司:68号01 68甲15 03B40型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Kfoury}和\textit{J.Tiuryn},Inf.Compute。98,第2号,228--257(1992;Zbl 0753.68022) 全文: 内政部
罗伊·克罗。;安德鲁·皮特斯(Andrew M.Pitts)。 定点计算的新基础:FIX-hyperdoctrines和FIX-logic。 (英语) Zbl 0763.03031号 Inf.计算。 98,第2期,171-210(1992).MSC公司:03F99型 第三天65 第68季度55 03B40型 18日第15天 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Crole}和\textit{A.M.Pitts},Inf.Compute。98,第2号,171--210(1992;Zbl 0763.03031) 全文: 内政部