叶卡捷琳娜·科门丹斯卡娅;权力，约翰 逻辑编程：松懈和饱和。 （英语） Zbl 1400.68049号 J.日志。阿尔盖布。方法计划。 101, 1-21 (2018).MSC公司：第68页第17页 18立方厘米 18立方厘米20 PDF格式BibTeX公司 XML格式引用 \textit{E.Komendantskaya}和\textit{J.Power}，J.Log。阿尔盖布。方法计划。101、1--21（2018；Zbl 1400.68049） 全文： DOI程序 arXiv公司
迈克，贝里希;塞巴斯蒂安·柯霍夫;权力，约翰 对泛代数及其对偶的范畴论理解：单子和劳弗尔理论，共子和什么？ （英语） Zbl 1343.18006号 Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286，5-16（2012）。MSC公司：18立方厘米 08A40号 08A70号 08C05号机组 18立方厘米20 PDF格式BibTeX公司 XML格式引用 \textit｛M.Behrisch｝等人，电子。理论注释。计算。科学。286，5--16（2012；Zbl 1343.18006） 全文： DOI程序
莱克，斯蒂芬;权力，约翰 加布里埃尔·尤默对偶理论和劳弗尔理论在一般基础上得到了丰富。 （英语） Zbl 1191.68163号 J.功能。程序。 19，编号3-4，265-286（2009）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Lack}和\textit{J.Power}，J.Funct。程序。19，编号3--4，265--286（2009；Zbl 1191.68163） 全文： DOI程序
Koki西泽;权力，约翰 劳弗尔理论在一般基础上得到了丰富。 （英语） Zbl 1158.18003号 J.纯应用。代数 213，第3期，377-386（2009）. 审核人：米歇尔·赫伯特（开罗） MSC公司：18立方厘米 18日99 18立方厘米 18立方厘米20 08A99号 PDF格式BibTeX公司 XML格式引用 \textit{K.Nishizawa}和\textit{J.Power}，J.Pure Appl。《代数》213，第3期，377--386（2009；Zbl 1158.18003） 全文： DOI程序 链接
迈克尔·约翰逊;戴维·诺曼;权力，约翰 数据精化的范畴理论模型。 （英语） Zbl 1336.68035号 Seda，Anthony（编辑）等人，《爱尔兰计算机科学和信息技术数学基础会议论文集》（MFCSIT 2006），爱尔兰科克国立爱尔兰大学，2006年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记225，21-38（2009）。MSC公司：68号30 03G30型 18 C50 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Johnson｝等人，Electron。理论注释。计算。科学。225、21-38（2008年；Zbl 1336.68035） 全文： DOI程序
权力，约翰 抽象语法：替换和绑定。 （英语） 兹比尔1316.68035 Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173，3-16（2007）。MSC公司：68甲15 03B40型 18立方厘米 18日第10天 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Power}，电子。注释Theor。计算。科学。173、3--16（2007年；Zbl 1316.68035） 全文： DOI程序
马丁·海兰德;戈登·普洛金;权力，约翰 组合效果：和和和张量。 （英语） Zbl 1096.68088号 西奥。计算。科学。 357，编号1-3，70-99（2006）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Hyland}等人，Theor。计算。科学。357，编号1--3，70-99（2006；Zbl 1096.68088） 全文： DOI程序 链接
保罗·布莱恩·利维;权力，约翰;Hayo Thielecke 用按调用值编程语言建模环境。 （英语） Zbl 1069.68073号 Inf.计算。 185，第2期，182-210（2003）.MSC公司：68问题55 03B40型 18 C50 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.B.Levy}等人，《信息计算》。185，第2号，182--210（2003；Zbl 1069.68073） 全文： DOI程序
权力，约翰 前单体范畴是具有代数结构的范畴。 （英语） Zbl 1002.68089号 西奥。计算。科学。 278，编号1-2，303-321（2002）.MSC公司：68问题55 18B20型 PDF格式BibTeX公司 XML格式引用 \文本{J.Power}，Theor。计算。科学。278，编号1--2，303--321（2002；Zbl 1002.68089） 全文： DOI程序
尼尔·加尼;克里斯托夫·吕斯;德马尔基，费德里科;权力，约翰 代数、余代数、单子和余代数。 （英语） 兹比尔1260.68238 Corradini，Andrea（编辑）等人，CMCS 2001。2001年4月6日至7日，意大利热那亚，计算机科学中的联合大脑方法第四次研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第1期，128-145（2001）。MSC公司：68问题65 18立方厘米 18立方厘米20 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghani}等人，《电子》。注释Theor。计算。科学。44，第1号，128--145（2001；Zbl 1260.68238） 全文： DOI程序
R·戈登。;鲍尔，A.J。 双范畴丰富范畴的代数结构。 （英语） Zbl 0982.18008号 J.纯应用。代数 130，第2期，119-132（1998年）.MSC公司：18天20分 18立方厘米 18D05日 PDF格式BibTeX公司 XML格式引用 \textit{R.Gordon}和\textit{A.J.Power}，J.Pure Appl。代数130，第2期，119--132（1998；Zbl 0982.18008） 全文： DOI程序
吉木基诺西塔;权力，约翰 通过丰富来放松自然。 （英语） Zbl 0856.18003号 J.纯应用。代数 112，No.1，53-72（1996）. 审核人：R.H.街（北莱德） MSC公司：18立方厘米 18天20分 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kinoshita}和\textit{J.Power}，J.Pure Appl。代数112，No.1，53--72（1996；Zbl 0856.18003） 全文： DOI程序