德尼古拉,罗科;丹尼尔·戈拉;汉森、雷内·里多夫;弗莱明·尼尔森;尼尔森,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 1200.68160号 Inf.计算。 208,第5期,433-449(2010).MSC公司:68问题85 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Bolander}和\textit{R.R.Hansen},Inf.Compute。208,No.5,433--449(2010;Zbl 1200.68160) 全文: 内政部
安德鲁·戈登。;汉斯·休特尔;汉森、雷内·里多夫 对应类型的类型推断。 (英语) Zbl 1294.68110号 Kremer,Steve(编辑)等人,第六届并发安全问题国际研讨会会议记录(SecCo 2008),加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》242,第3期,21-36(2009)。MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Gordon}等人,《电子》。注释Theor。计算。科学。242,第3号,21-36(2009;Zbl 1294.68110) 全文: 内政部
弗莱明·尼尔森;尼尔森,Hanne Riis;汉森、雷内·里多夫 使用流逻辑验证防火墙。 (英语) Zbl 1016.68003号 西奥。计算。科学。 283,第2期,381-418(2002).MSC公司:68M10个 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}等人,Theor。计算。科学。283,编号2381-418(2002年;兹bl 1016.68003) 全文: 内政部