默多克·J·加贝。 UTxO区块链代数。 （英语） Zbl 1489.68084号 数学。结构。计算。科学。 31，第9期，1034-1089（2021）.MSC公司：第68页第25页 18A40型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}，数学。结构。计算。科学。31，编号9，1034--1089（2021；Zbl 1489.68084） 全文： DOI程序 arXiv公司
默多克·J·加贝。；迈克尔·加巴伊 非类型lambda演算在名义格和拓扑语义中的表示和对偶，以及拓扑完备性的证明。 （英语） 兹比尔1422.03023 Ann.纯粹应用。逻辑 168，第3期，501-621（2017）.MSC公司：03B40型 06年50月 03C55号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{M.Gabbay}，Ann.纯粹应用。逻辑168，No.3，501--621（2017；Zbl 1422.03023） 全文： DOI程序 arXiv公司 链接
默多克·加贝；丹·吉卡 名义模型中的游戏语义。 （英语） Zbl 1342.68195号 Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286173-189（2012）。MSC公司：68问题55 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbay}和\textit{D.Ghica}，电子。注释Theor。计算。科学。286173--189（2012年；Zbl 1342.68195） 全文： DOI程序
Gilles Dowek；默多克·J·加贝。 PNL到HOL：从标称集逻辑到高阶函数逻辑。 （英语） 兹比尔1309.03013 西奥。计算。科学。 451, 38-69 (2012).MSC公司：03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{M.J.Gabbay}，Theor。计算。科学。451、38--69（2012；Zbl 1309.03013） 全文： DOI程序 arXiv公司
默多克·J·加贝。 标称代数和逻辑中的有限和无限支持：免费的标称完整性定理。 （英语） Zbl 1251.03035号 J.塞姆。日志。 77，第3期，828-852（2012）.MSC公司：03B70号 03C98号 03G25号 PDF格式BibTeX公司 XML格式引用 \发短信{M.J.Gabbay}，J.Symb。日志。77，第3号，828--852（2012；Zbl 1251.03035） 全文： DOI程序 arXiv公司 欧几里得
默多克·J·加贝。 名词性方程式推理的统一：名词集合上的等式代数。 （英语） Zbl 1239.03019号 J.应用。日志。 10，第2期，199-217（2012）.MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}，J.Appl.（《应用杂志》）。日志。10，第2号，199--217（2012；Zbl 1239.03019） 全文： DOI程序
默多克·J·加贝。 两级名词集和语义名词术语：处理元变量的名词集理论的扩展。 （英语） Zbl 1228.68022号 数学。结构。计算。科学。 21，第5期，997-1033（2011）.MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}，数学。结构。计算。科学。21，第5号，997--1033（2011；Zbl 1228.68022） 全文： DOI程序
默多克·J·加贝。 名词性技术的基础：抽象语法中变量的逻辑和语义。 （英语） 兹比尔1253.03059 牛市。符号。日志。 17，第2期，161-229（2011）.MSC公司：03B70号 03B40型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}，公牛。符号。日志。17，第2号，161--229（2011；Zbl 1253.03059） 全文： DOI程序
默多克·J·加贝。；多米尼克·P·穆利根。 柯里·霍华德（Curry-Howard），针对使用一级半项的不完全一阶逻辑推导。 （英语） Zbl 1186.68102号 Inf.计算。 208，第3期，230-258（2010）; 更正同上，212、119（2012）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{D.P.Mulligan}，Inf.Compute。208，第3号，230--258（2010；Zbl 1186.68102） 全文： DOI程序
默多克·J·加贝。 两级λ-微积分。 （英语） Zbl 1347.68051号 Falaschi，Moreno（编辑），第17届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2008），意大利锡耶纳，2008年7月3日至4日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记246，107-129（2009）。MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}，电子。注释Theor。计算。科学。246107--129（2009年；Zbl 1347.68051） 全文： DOI程序
默多克·J·加贝。；圣埃芬伦格兰 lambda-context演算（扩展版本）。 （英语） Zbl 1192.68137号 Inf.计算。 207，第12期，1369-1400（2009）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{S.Lengrand}，Inf.Compute。207，第12号，1369--1400（2009；Zbl 1192.68137） 全文： DOI程序
默多克·J·加贝。 使用名义技术和Fraenkel-Mostowksi集合研究替代。 （英语） Zbl 1159.03019号 西奥。计算。科学。 410，编号12-13，1159-1189（2009）.MSC公司：03B70号 03E70型 03E75型 68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \发短信{M.J.Gabbay}，Theor。计算。科学。410，编号12--131159--1189（2009；Zbl 1159.03019） 全文： DOI程序
默多克·J·加贝。；迈克尔·加巴伊（Michael J.Gabbay）。 \（a）-带箭头的逻辑。 （英语） Zbl 1283.03064号 Echahed，Rachid（编辑），第16届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2007），法国巴黎，2007年6月25日。精选论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记216，3-29（2008）。MSC公司：03B70号 03B10号机组 03B40型 05年3月 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{M.J.Garbay}，电子。注释Theor。计算。科学。216、3--29（2008年；Zbl 1283.03064） 全文： DOI程序
默多克·J·加贝。；亚德·马蒂杰森 捕获避免替换为名义代数。 （英语） Zbl 1152.68025号 正式Asp。计算。 20，编号4-5，451-479（2008）.MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{A.Mathijssen}，正式Asp。计算。20，编号4--5，451--479（2008；Zbl 1152.68025） 全文： DOI程序
默多克·J·加贝。 新鲜的逻辑：FM和标称技术的证明理论和语义。 （英语） Zbl 1124.03010号 J.应用。日志。 5，第2期，356-387（2007）. 审核人：Reinhard Kahle（科英布拉） MSC公司：03B60号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}，J.Appl.（《应用杂志》）。日志。5，编号2，356--387（2007；Zbl 1124.03010） 全文： DOI程序
默多克·J·加贝。 名字的一般数学。 （英语） Zbl 1123.03047号 Inf.计算。 205，第7期，982-1011（2007）.MSC公司：03E70型 03B70号 03日70 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}，Inf.计算。205，第7号，982--1011（2007；Zbl 1123.03047） 全文： DOI程序
玛丽贝尔·费尔南德斯；默多克·J·加贝。 名义重写。 （英语） Zbl 1118.68075号 Inf.计算。 205，第6期，917-965（2007）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fernández}和\textit{M.J.Gabbay}，Inf.Compute。205，第6号，917--965（2007；Zbl 1118.68075） 全文： DOI程序
城市，基督教；安德鲁·皮特斯（Andrew M.Pitts）。；默多克·J·加贝。 名义统一。 （英语） Zbl 1078.68140号 西奥。计算。科学。 323，编号1-3，473-497（2004）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Urban}等人，Theor。计算。科学。323，编号1--3，473--497（2004；Zbl 1078.68140） 全文： DOI程序