凯文·康普顿。 分层最小不动点逻辑。 (英语) Zbl 0815.03018号 西奥。计算。科学。 131,编号1,95-120(1994). 审核人:M.Duí(普拉哈) MSC公司:03B70号 60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{K.J.康普顿},Theor。计算。科学。131,编号1,95-120(1994;Zbl 0815.03018) 全文: DOI程序 链接
米歇尔·德·罗杰蒙特 归纳定义的功能维度。 (英语) Zbl 0780.68091号 西奥。计算。科学。 101,第1期,143-158(1992).MSC公司:60年第68季度 68N17号 03B15号机组 03B25号 03日70 PDF格式BibTeX公司 XML格式引用 \文本{M.de Rougemont},Theor。计算。科学。101,第1号,143--158(1992;Zbl 0780.68091) 全文: DOI程序