杰里米·吉本斯 用单子函数统一编程理论。 (英语) Zbl 1452.68041号 Wolff,Burkhart(编辑)等人,《统一编程理论》。第四届国际研讨会,2012年UTP,2012年8月27日至28日,法国巴黎。修订了选定的论文。柏林:施普林格。莱克特。注释计算。科学。7681, 23-67 (2013).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Gibbons},莱克特。注释计算。科学。7681,23--67(2013;Zbl 1452.68041) 全文: 内政部 链接
Peter Y.H.Wong。;杰里米·吉本斯 BPMN的形式化和应用。 (英语) Zbl 1213.68212号 科学。计算。程序。 76,第8期,633-650(2011).MSC公司:68号30 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.H.Wong}和\textit{J.Gibbons},科学。计算。程序。76,第8号,633--650(2011;Zbl 1213.68212) 全文: 内政部
布鲁诺·C·d·S·奥利维拉。;杰里米·吉本斯 针对泛型程序员的Scala。 (英语) Zbl 1213.68191号 J.功能。程序。 20,编号3-4,303-352(2010).MSC公司:68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{B.C.d.S.Oliveira}和textit{J.Gibbons},J.Funct。程序。20,编号3--4,303--352(2010;Zbl 1213.68191) 全文: 内政部
Peter Y.H.Wong。;杰里米·吉本斯 BPMN的相对定时语义。 (英语) Zbl 1347.68215号 Canal,Carlos(编辑)等人,第七届协调语言和软件架构基础国际研讨会会议记录(FOCLASA 2008),冰岛雷克雅未克,2008年7月13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记229,第2期,59-75(2009)。MSC公司:68问题55 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.H.Wong}和\textit{J.Gibbons},电子。理论注释。计算。科学。229,第2号,59-75(2009;Zbl 1347.68215) 全文: 内政部
杰里米·吉本斯;布鲁诺·C·d·S·奥利维拉。 ITERATOR模式的本质。 (英语) Zbl 1191.68160号 J.功能。程序。 19,第3-4、377-402号(2009年).MSC公司:68甲18 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gibbons}和\textit{B.C.d.S.Oliveira},J.Funct。程序。19,编号3--4,377--402(2009;Zbl 1191.68160) 全文: 内政部
Peter Y.H.Wong。;杰里米·吉本斯 工作流建模的属性规范。 (英语) Zbl 1211.68258号 Leuschel,Michael(编辑)等人,《综合形式方法》。2009年2月16日至19日,第7届国际会议,IFM 2009,德国杜塞尔多夫。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00254-0/pbk)。计算机科学课堂讲稿5423,56-71(2009)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.H.Wong}和\textit{J.Gibbons},Lect。注释计算。科学。5423,56--71(2009;Zbl 1211.68258) 全文: 内政部
杰里米·吉本斯;格雷厄姆·赫顿;托尔斯滕阿尔滕基奇 什么时候函数是折叠还是展开? (英语) Zbl 1260.68096号 Corradini,Andrea(编辑)等人,CMCS 2001。2001年4月6日至7日,意大利热那亚,计算机科学中的联合大脑方法第四次研讨会论文集。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记44,第1期,146-160(2001)。MSC公司:68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Gibbons}等人,《电子》。理论注释。计算。科学。44,第1号,146--160(2001;Zbl 1260.68096) 全文: 内政部
杰里米·吉本斯 功能珍珠。衍生出整齐的树木图纸。 (英语) Zbl 0860.68026号 J.功能。程序。 6,第3期,535-562(1996).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Gibbons}、J.Funct。程序。6,第3号,535--562(1996;Zbl 0860.68026) 全文: 内政部
杰里米·吉本斯 快速计算树上的向下累加。 (英语) Zbl 0882.68109号 西奥。计算。科学。 169,第1号,67-80(1996).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \文本{J.Gibbons},Theor。计算。科学。169,第1号,67--80(1996;Zbl 0882.68109) 全文: 内政部