德怀特·斯宾塞 分类计算综述:不动点、偏好、组合子……控制? (英语) Zbl 0781.18003号 牛。EATCS公司 43, 285-312 (1991). 审核人:V.Yu。萨佐诺夫(佩雷斯拉夫-扎列斯基) MSC公司:18日第15天 68问题65 18天35分 PDF格式BibTeX公司 XML格式引用 \textit{D.Spencer},公牛。EATCS 43,285--312(1991;Zbl 0781.18003)
奥斯卡·佩姆瓦尔 从计算机科学的角度看草图的参考书目。 (英语) Zbl 0756.18005号 牛。EATCS公司 45, 238-255 (1991).MSC公司:18立方厘米 68季度xx 00A15年 18-00 68-00 PDF格式BibTeX公司 XML格式引用 \textit{O.Permvall},公牛。EATCS 45238-255(1991年;兹bl 0756.18005)
安德烈亚斯·布拉斯 计算机科学专栏中的逻辑-拓扑与计算。 (英语) Zbl 0681.03044号 牛。EATCS公司 36, 57-65 (1988). 审核人:M.Eytan先生 MSC公司:03G30型 18对25 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass},公牛。EATCS 36,57--65(1988;Zbl 0681.03044)