长谷川、Masahito;川谷义彦 按调用值递归的公理。 (英语) Zbl 1030.68012号 高-订购符号。计算。 15,编号2-3,235-264(2002).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Hasegawa}和\textit{Y.Kakutani},高-订购符号。计算。15,编号2--3235-264(2002;Zbl 1030.68012) 全文: 内政部
史蒂夫·兹丹塞维奇;安德鲁·迈尔斯(Andrew C.Myers)。 通过线性延续保护信息流。 (英语) Zbl 1030.68015号 高-订购符号。计算。 15,编号2-3,209-234(2002).MSC公司:68甲15 68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.Zdancewic}和\textit{A.C.Myers},高-订购符号。计算。15、编号2--3、209--234(2002;Zbl 1030.68015) 全文: 内政部
乔什·伯丁;彼得·奥赫恩;乌代·雷迪;Hayo Thielecke 线性连续通过。 (英语) Zbl 1030.68011号 高-订购符号。计算。 15,第2-3号,181-208(2002).MSC公司:68甲15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Berdine}等人,高-订购符号。计算。15,编号2--3,181-208(2002;Zbl 1030.68011) 全文: 内政部
约翰·雷皮 使用本地CPS转换优化嵌套循环。 (英语) Zbl 1030.68019号 高-订购符号。计算。 15,编号2-3,161-180(2002).MSC公司:68甲18 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{J.Reppy},高-订购符号。计算。15,编号2--3,161-180(2002;Zbl 1030.68019) 全文: 内政部
Hayo Thielecke 比较双筒CPS的控制结构。 (英语) Zbl 1029.03017号 高-订购符号。计算。 15,编号2-3,141-160(2002).MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Thielecke},高-订购符号。计算。15,编号2--3,141-160(2002;Zbl 1029.03017) 全文: 内政部