德尼古拉,罗科;丹尼尔·戈拉;汉森、雷内·里多夫;弗莱明·尼尔森;尼尔森,Hanne Riis;克里斯蒂安·W·普罗布斯特。;罗萨里奥·普格利泽 从流逻辑到协调语言的静态类型系统。 (英语) Zbl 1192.68126号 科学。计算。程序。 75,第6期,376-397(2010).MSC公司:68甲15 60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}等人,科学。计算。程序。75,第6号,376--397(2010;Zbl 1192.68126) 全文: 内政部
丹尼尔·戈拉;罗萨里奥·普格利泽 使用支持网络的协调语言动态管理功能。 (英语) Zbl 1183.68041号 J.日志。代数。程序。 78,第8期,665-689(2009).MSC公司:68M10个 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Gorla}和\textit{R.Pugliese},J.Log。代数。程序。78,第8号,665--689(2009;Zbl 1183.68041) 全文: 内政部