勒文特·埃尔科克;约翰·朗奇伯里;安德鲁·莫兰 一元输入/输出的值递归语义。 (英语) Zbl 1011.68017号 西奥。通知。应用。 36,第2期,155-180(2002).MSC公司:68甲18 68问题55 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Erkök}等人,Theor。通知。申请。36,第2号,155--180(2002;Zbl 1011.68017) 全文: 内政部 Numdam编号 欧洲DML 链接
罗伊·克罗。 在对象计算中编码FIX。 (英语) Zbl 0971.68098号 西奥。通知。应用。 34,第1期,15-38页(2000年).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \文本{R.L.Crole},Theor。通知。申请。34,编号1,15--38(2000;Zbl 0971.68098) 全文: 内政部 欧洲DML 链接