阿里·米德尔科普;阿泽·迪杰斯特拉;斯威斯特拉,S.多伊茨 小工具的精益规范:具有一流等式证明的系统F。 (英语) Zbl 1232.68029号 高-订购符号。计算。 23,第2期,145-166(2010).MSC公司:68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Middelkoop}等人,高-订购符号。计算。23,第2号,145--166(2010;Zbl 1232.68029) 全文: 内政部
古德蒙德·格罗夫;格雷格·迈克尔森 休谟盒演算:通过软件转换实现稳健的系统开发。 (英语) Zbl 1234.68054号 高-订购符号。计算。 23,第2期,191-226(2010).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Grov}和\textit{G.Michaelson},高-订购符号。计算。23,第2号,191--226(2010;Zbl 1234.68054) 全文: 内政部
大卫·赫尔曼;Tomb,亚伦;科马克·弗拉纳根 节省空间的渐进式打字。 (英语) Zbl 1232.68025号 高-订购符号。计算。 23,第2期,167-189(2010).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Herman}等人,高-订购符号。计算。23,第2号,167--189(2010;Zbl 1232.68025) 全文: 内政部
斯库索普,尼尔;亨利克·尼尔森 面对变化保持冷静。通过推理变化来优化FRP。 (英语) 兹比尔1232.68027 高-订购符号。计算。 23,第2期,227-271(2010).MSC公司:68甲18 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Sculthorpe}和\textit{H.Nilsson},高-订购符号。计算。23,第2号,227--271(2010;Zbl 1232.68027) 全文: 内政部