迈克尔·凯 邦德悖论。 （英语） Zbl 1486.03030号 版本符号。日志。 13，第4期，829-844（2020）.MSC公司：03B40型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Caie}，修订版Symb。日志。13，第4号，829--844（2020；Zbl 1486.03030） 全文： 内政部
库卡斯·扎伊卡 高阶推理组合逻辑。 （英语） Zbl 1341.03018号 J.塞姆。日志。 78，第3期，837-872（2013）. 审核人：马丁·邦德（伍伦贡） MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{Ł.Czajka}，J.Symb。日志。78，No.3，837--872（2013；Zbl 1341.03018） 全文： 内政部 arXiv公司 欧几里得
库卡斯·扎伊卡 演绎组合逻辑的语义方法。 （英语） Zbl 1247.03021号 Marc Bezem（编辑），《计算机科学逻辑》（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-32-3）。LIPIcs–莱布尼茨国际信息学会议录12，174-188，仅电子版（2011年）。MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{Ł.Czajka}，LIPIcs--莱布尼茨国际程序。通知。12174-188（2011年；Zbl 1247.03021） 全文： 内政部 链接
蒂埃里·利伯特 重新审视积极的抽象和外延。 （英语） Zbl 1144.03031号 日志。分析。，努夫。Sér。 51，第202号，149-165（2008）.MSC公司：03E30年 03B40型 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Libert}，日志。分析。，努夫。Sér。51，编号202149--165（2008年；兹bl 1144.03031）
马丁·邦德。;Wil J.M.德克斯。 有希尔伯特风格的纯类型系统吗？ （英语） Zbl 1152.03014号 日志。方法计算。科学。 4，第1期，论文1，19页（2008年）. 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}和\textit{W.J.M.Dekkers}，日志。方法计算。科学。4，第1号，论文1，19页（2008；Zbl 1152.03014） 全文： 内政部
詹姆斯·H·安德鲁斯。 带有Y组合子的非类型化高阶逻辑。 （英语） Zbl 1134.03010号 J.塞姆。日志。 72，第4期，1385-1404（2007）. 审核人：马丁·邦德（伍伦贡） MSC公司：03B40型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Andrews}，J.Symb。日志。72，第4号，1385-1404（2007年；兹bl 1134.03010） 全文： 内政部 欧几里得
M.W.邦德。;德克斯，W.J.M。 纯类型系统和演绎组合逻辑系统之间的等价性。 （英语） Zbl 1081.03015号 圣母院J.形式逻辑 46，第2期，181-205（2005）. 审核人：Reinhard Kahle（科英布拉） MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit｛M.W.Bunder｝和\textit｛W.J.M.Dekkers｝，圣母院《形式逻辑》46，第2期，181-205（2005；Zbl 1081.03015） 全文： 内政部
克劳斯·格鲁 \（λ）-微积分是数学的基础。 （英语） Zbl 1030.03013号 Anderson，C.Anthony（编辑）等人，《逻辑、意义和计算》。纪念阿隆佐教堂的文章。多德雷赫特：Kluwer学术出版社。合成。伦敦银行同业拆借利率。305, 287-311 (2001). 审核人：马丁·邦德（伍伦贡） MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Grue}，合成。伦敦银行同业拆借利率。305287--311（2001年；Zbl 1030.03013）
托马斯·杰赫 关于TRC系统中组合子的一些结果。 （英语） Zbl 0947.03019号 J.塞姆。日志。 64，第4期，1811-1819（1999）. 审核人：M.W.Bunder（伍伦贡） MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{T.杰赫}，J.塞姆。日志。64，第4号，1811--1819（1999；Zbl 0947.03019） 全文： 内政部 arXiv公司
威尔·德克尔斯;马丁·邦德;亨克·巴伦德雷格特 命题作为类型的完备性将直觉逻辑解释为推理组合逻辑。 （英语） Zbl 0947.03018号 J.塞姆。日志。 63，第3号，869-890（1998）. 审核人：P.马特拉纳（普拉哈） MSC公司：03B40型 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Dekkers}等人，J.Symb。日志。63，编号3，869-890（1998年；Zbl 0947.03018） 全文： 内政部 链接
威尔·德克尔斯;马丁·邦德;亨克·巴伦德雷格特 一阶命题演算和谓词演算的两个推理组合逻辑系统的完备性。 （英语） Zbl 0908.03016号 架构（architecture）。数学。逻辑 37，编号5-6，327-341（1998）. 审核人：A.坎蒂尼（费伦泽） MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{W.Dekkers}等人，Arch。数学。逻辑37，编号5--6327--341（1998；Zbl 0908.03016） 全文： 内政部 链接
珍妮·皮埃尔·吉尼斯蒂 组合逻辑。（逻辑组合。） （法语） Zbl 0873.03011号 奎赛-耶？巴黎：法国新闻大学。127页（1997年）。 审核人：A.坎蒂尼（费伦泽） MSC公司：03B40型 03-01 00A06号 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Ginisti}，逻辑组合。巴黎：法国新闻大学（1997；Zbl 0873.03011）
M.W.邦德。;德克斯，W.J.M。;杰弗斯，J.H。 演绎组合逻辑与纯类型系统之间的等价性。 （英语） Zbl 0937.03021号 RIMS Kokyuroku公司 1021, 119-135 (1997). 审核人：安德烈亚·坎蒂尼（费伦泽） MSC公司：03B40型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}等人，RIMS Kokyuroku 1021，119--135（1997；Zbl 0937.03021）
托马斯·杰赫 OTTER在组合逻辑系统中的实验。 （英语） Zbl 0822.03011号 J.汽车。推理 14，第3期，413-426（1995）.MSC公司：03B40型 68吨15 03-04 PDF格式BibTeX公司 XML格式引用 \textit{T.杰赫}，J.Autom。推理14，No.3，413--426（1995；Zbl 0822.03011） 全文： 内政部 arXiv公司
亨克·巴伦德雷格特;马丁·邦德;威尔·德克尔斯 一阶命题演算和谓词演算的完整推理组合逻辑系统。 （英语） Zbl 0791.03006号 J.塞姆。日志。 58，第3期，769-788（1993）. 审核人：M.W.Bunder（伍伦贡） MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{H.Barendregt}等人，J.Symb。日志。58，编号3，769-788（1993年；Zbl 0791.03006） 全文： 内政部 链接
M.W.邦德。 基于组合逻辑的高阶谓词演算中的重叠类型。 （英语） Zbl 0698.03005号 J.非经典逻辑6，第1期，33-44（1989）。 审核人：宋方敏 MSC公司：03B40型 03B15号机组 PDF格式BibTeX公司 XML格式
M.W.邦德。 准一致逻辑和组合逻辑。 （英语） Zbl 0689.03008号 超一致逻辑，《关于不一致的论文》，218-226（1989）。 审核人：M.W.邦德 MSC公司：03B40型 03B60号 03B20型 PDF格式BibTeX公司 XML格式
小森，Yuichi 基于BCK逻辑的演绎组合逻辑。 （英语） Zbl 0677.03008号 数学。日本。 34，第4期，585-596（1989）. 审核人：M.W.邦德 MSC公司：03B40型 05年3月 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Komori}，数学。日本。34，第4号，585--596（1989；Zbl 0677.03008）
库齐切夫，A.A。;库齐切夫（A.S.Kuzichev）。 形式算术的保守扩展。 （英语。俄文原件） Zbl 0689.03006号 莫斯科。大学数学。牛市。 43，第6期，第56-58页（1988年）; 由Vestn翻译。莫斯科。州立大学。I 1988年，第6期，第77-78页（1988年）。 审核人：M.W.邦德 MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Kuzichev}和\textit{A.S.Kuzichev}，莫斯克。大学数学。牛市。43，No.6，56-58（1988；Zbl 0689.03006）；由Vestn翻译。莫斯科。州立大学。I 1988年，第6号，第77--78号（1988年）
M.W.邦德。 基于演绎组合逻辑中的Church数字的算法。 （英语） Zbl 0664.03015号 螺柱日志。 47，第2期，129-143（1988年）. 审核人：M.W.邦德 MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，螺柱日志。47，编号2，129-143（1988年；Zbl 0664.03015） 全文： 内政部
小森，Yuichi 基于lambda演算和BCK逻辑的集合论。 （英语） Zbl 0671.03009号 半群，Proc。第十一交响曲。，京都/日本。1987, 72-73 (1987). 审核人：M.W.邦德 MSC公司：03B40型 PDF格式BibTeX公司 XML格式
M.W.邦德。 推理组合逻辑中的一些一致性证明和不一致性证明的一个特征。 （英语） Zbl 0614.03015号 J.塞姆。日志。 52, 89-110 (1987).MSC公司：03B40型 05年3月 07年3月 第03页第55页 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，J.Symb。日志。52、89——110（1987；Zbl 0614.03015） 全文： 内政部
M.W.邦德。 推理组合逻辑中的自然数。 （英语） Zbl 0612.03012号 科伦布牧师。材料。 19, 31-42 (1985).MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，科伦坡牧师。材料19，31-42（1985；Zbl 0612.03012） 全文： 欧洲DML
M.W.邦德。 基于组合逻辑的范畴理论。 （英语） Zbl 0545.03005号 架构（architecture）。数学。Logik Grundlagenforsch公司。 24, 1-16 (1984).MSC公司：03B40型 第18页第15页 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，拱门。数学。Logik Grundlagenforsch公司。24、1-16（1984年；Zbl 0545.03005） 全文： 内政部 欧洲DML
M.W.邦德。 等式谓词演算中的集合论。 （英语） Zbl 0537.03011号 架构（architecture）。数学。Logik Grundlagenforsch公司。 23, 109-113 (1983).MSC公司：03B40型 03E30年 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，拱门。数学。Logik Grundlagenforsch公司。23、109-113（1983年；Zbl 0537.03011） 全文： 内政部 欧洲DML
M.W.邦德。 任意高阶有限阶谓词演算。 （英语） Zbl 0528.03005号 架构（architecture）。数学。Logik Grundlagenforsch公司。 23, 1-10 (1983). 审核人：O.Štěpánková（普拉哈） MSC公司：03B15号机组 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，拱门。数学。Logik Grundlagenforsch公司。23、1-10（1983年；Zbl 0528.03005） 全文： 内政部 欧洲DML
M.W.邦德。 一些演绎组合逻辑系统的弱绝对一致性证明。 （英语） Zbl 0527.03003号 J.塞姆。日志。 48, 771-776 (1983).MSC公司：03B40型 03电子70 05年3月 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit｛M.W.Bunder｝，J.Symb。日志。48、771--776（1983年；Zbl 0527.03003） 全文： 内政部
M.W.邦德。 没有等式作为基本谓词的演绎组合逻辑。 （英语） Zbl 0452.03008号 圣母院J.形式逻辑 23, 62-70 (1982).MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，圣母院J.形式逻辑23，62-70（1982；Zbl 0452.03008） 全文： 内政部
哈斯克尔·柯里。 组合逻辑的一些哲学方面。 （英语） Zbl 0479.03005号 克莱恩交响乐团。，程序。，麦迪逊/威斯康星州，1978年，《发现逻辑研究》。数学。，第101卷，第85-101页（1980年）。MSC公司：03B40型 03A05号 03-02 03-03 PDF格式BibTeX公司 XML格式
塞尔丁，J.P。（编辑）;辛德利，J.R。（编辑） [塞尔丁，J.P。;J.T.卡恩斯。;M.W.邦德。;艾泽尔，P。;费弗曼，S。;吉尔摩，P.C。;惠誉，F.B。;库齐切夫（A.S.Kuzichev）。;利维，J.J。;Klop，J.W。;华兹华斯，C.P。;Böhm，C。;G·米施克。;维瑟，A。;巴伦德雷格特，H。;科曼斯，K。;朱塞佩·隆戈;桑奇斯，L.E。;普洛金，G.D。;兰贝克，J。;D.S.斯科特。;R.O.甘地。;西澳州霍华德。;J·迪勒。;Meredith博士。;R·斯塔特曼。;M.科波。;Dezani-Ciancaglini，M。;维内里，B。;波廷格，G。;德布鲁因，N.G。] 致H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文。 （英语） Zbl 0469.03006号 伦敦等：学术出版社，Harcourt Brace Jovanovich的子公司，出版社。二十五、 606页，26.60英镑；$64.00 (1980).MSC公司：03B40型 2006年3月 03-02 01A70号 03A05号 18日第15天 PDF格式BibTeX公司 XML格式
M.W.邦德。 意义和推理组合逻辑。 （英语） Zbl 0394.03025号 圣母院J.形式逻辑 21, 380-384 (1980).MSC公司：03B40型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，圣母院J.形式逻辑21，380--384（1980；Zbl 0394.03025） 全文： 内政部
M.W.邦德。 \推理组合逻辑中的（Lambda）-消除。 （英语） 兹比尔0406.03021 圣母院J.形式逻辑 20, 628-630 (1979).MSC公司：03B40型 03C10号机组 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，圣母院J.形式逻辑20，628--630（1979；Zbl 0406.03021） 全文： 内政部
M.W.邦德。 \演绎组合逻辑中的（land）-消去。 （英语） Zbl 0394.03024号 圣母院J.形式逻辑 20, 628-630 (1979).MSC公司：03B40型 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，圣母院J.形式逻辑20，628--630（1979；Zbl 0394.03024） 全文： 内政部
M.W.邦德。 斯科特模型和推理组合逻辑。 （英语） Zbl 0349.02021号 圣母院J.形式逻辑 20, 609-612 (1979).MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，圣母院J.形式逻辑20，609--612（1979；Zbl 0349.02021） 全文： 内政部
M.W.邦德。 （mathfrak J^*{2\，1}）中受限制的受试者的平等。 （英语） 兹比尔0422.03002 Z.数学。Logik Grundlagen数学。 24, 125-127 (1978).MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，Z.数学。Logik Grundlagen数学。24125-127（1978；Zbl 0422.03002） 全文： 内政部
苏米欣，V.P。 关于组合逻辑系统（mathfrak J^{*A}{21}）的不一致性。 （俄语） 兹比尔0403.03010 维斯特。莫斯科。州立大学。我 1978年，第3期，第3-8期（1978年）.MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Sumihin}，维斯特恩。莫斯科。州立大学。I 1978，编号3，3--8（1978；Zbl 0403.03010）
M.W.邦德。;梅耶，R.K。 关于类似于（mathcal F^*{21}）的系统的不一致性。 （英语） Zbl 0394.03022号 J.塞姆。日志。 43, 1-2 (1978).MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}和\textit{R.K.Meyer}，J.Symb。日志。43，1--2（1978；Zbl 0394.03022） 全文： 内政部
M.W.邦德。 推理组合逻辑中规则系统与公理系统的等价性。 （英语） Zbl 0349.02020号 圣母院J.形式逻辑 20, 603-608 (1979).MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，圣母院J.形式逻辑20，603--608（1977；Zbl 0349.02020） 全文： 内政部