高、香山；杰里米·吉本斯 用装饰品编程。 （英语） Zbl 1418.68035号 J.功能。程序。 27，论文编号e2，43 p.（2017）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.-S.Ko}和\textit{J.Gibbons}，J.Funct。程序。27，论文编号e2，43 p.（2017；Zbl 1418.68035） 全文： 内政部
法利斯·阿布·萨利赫；詹姆斯·切尼；杰里米·吉本斯；詹姆斯·麦金纳；佩迪塔·史蒂文斯 双向计算和纠缠态单子的概念。 （英语） Zbl 1432.68068号 Hinze，Ralf（编辑）等人，《程序构建的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9129, 187-214 (2015).MSC公司：68号30 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Abou-Saleh}等人，Lect。注释计算。科学。9129187-214（2015；Zbl 1432.68068） 全文： 内政部 arXiv公司
杰里米·吉本斯 用单子函数统一编程理论。 （英语） 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。；杰里米·吉本斯 工作流建模的属性规范。 （英语） Zbl 1216.68165号 科学。计算。程序。 76，第10期，942-967（2011）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛P.Y.H.Wong｝和\textit｛J.Gibbons｝，科学。计算。程序。76，第10号，942--967（2011；Zbl 1216.68165） 全文： 内政部
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。 （英语） 兹比尔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}，电子。注释Theor。计算。科学。229，第2号，59-75（2009；Zbl 1347.68215） 全文： 内政部
Peter Y.H.Wong。；杰里米·吉本斯 工作流建模的属性规范。 （英语） Zbl 1211.68258号 Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，德国杜塞尔多夫，第七届国际会议，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年；兹bl 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}等人，《电子》。注释Theor。计算。科学。44，编号1，146-160（2001年；兹bl 1260.68096） 全文： 内政部
克莱尔·马丁；杰里米·吉本斯 关于嵌套数据类型的语义。 （英语） Zbl 0996.68519号 信息处理。莱特。 80，第5期，233-238（2001）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Martin}和\textit{J.Gibbons}，Inf.过程。莱特。80，第5号，233--238（2001；Zbl 0996.68519） 全文： 内政部