乔纳斯·巴克隆德 逻辑编程中迭代和并发的有界量化。 (英语) Zbl 0804.68022号 新一代计算。 12,第2期,161-182(1994).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Barklund},新一代计算。12,第2号,161--182(1994;Zbl 0804.68022) 全文: DOI程序
贾塞克·吉伯特 使用组合子的函数编程。 (英语) Zbl 0637.68041号 J.塞姆。计算。 4, 269-293 (1987).MSC公司:68瓦30 68N25号 03B40型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Gibert},J.Symb。计算。4269-293(1987年;Zbl 0637.68041) 全文: DOI程序