尼尔·加尼;塔尔莫乌斯塔卢;Makoto滨那 显式替换和高阶语法。 (英语) Zbl 1105.68021号 高-订购符号。计算。 19,编号2-3,263-282(2006).MSC公司:68号30 03B40型 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghani}等人,高-订购符号。计算。19、编号2--3、263--282(2006;Zbl 1105.68021) 全文: 内政部
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) 全文: 内政部