乔纳森·塞尔丁。 搜索等价于\(lambda\beta\)-约简的组合逻辑约简。二、。 (英语) Zbl 1418.03040号 西奥。计算。科学。 663, 34-58 (2017).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \文本{J.P.塞尔丁},Theor。计算。科学。663,34-58(2017;Zbl 1418.03040) 全文: 内政部
法鲁兹卡马雷丁;乔纳森·塞尔丁。;威尔斯,J.B。 桥接库里和丘奇的打字风格。 (英语) 兹伯利1436.03106 J.应用。日志。 18, 42-70 (2016).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}等人,J.Appl。日志。18、42——70(2016;Zbl 1436.03106) 全文: 内政部
乔纳森·塞尔丁。 柯里的形式主义是结构主义。 (英语) Zbl 1261.00005号 日志。Univers大学。 第5期,第1期,91-100(2011年). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Seldin},日志。通用。5,第1号,91--100(2011;Zbl 1261.00005) 全文: 内政部
乔纳森·塞尔丁。 搜索组合逻辑中的约简等价于(alpha\beta)-约简。 (英语) Zbl 1246.03033号 西奥。计算。科学。 412,第37号,4905-4918(2011). 审核人:阿尔贝托·卡拉罗(梅斯特) MSC公司:03B40型 03-03 03B35型 03B70号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{J.P.塞尔丁},Theor。计算。科学。412,第37号,4905-4918(2011;Zbl 1246.03033) 全文: 内政部
乔纳森·塞尔丁。 论蕴涵在形式逻辑中的作用。 (英语) Zbl 0976.03015号 J.塞姆。日志。 65,第3期,1076-1114(2000); 勘误表同上,第66号,1975年(2001年)。 审核人:M.W.Bunder(伍伦贡) MSC公司:03B40型 05年3月 03B47号 03年10月 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Seldin},J.Symb。日志。65,第3号,1076--1114(2000;Zbl 0976.03015) 全文: 内政部
乔纳森·塞尔丁。 具有展开规则的Gentzen式结构序列演算。 (英语) Zbl 0945.03082号 西奥。计算。科学。 243,第1-2号,199-215(2000).MSC公司:05年3月 03B40型 PDF格式BibTeX公司 XML格式引用 \文本{J.P.塞尔丁},Theor。计算。科学。243,编号1--2,199-215(2000;Zbl 0945.03082) 全文: 内政部
乔纳森·塞尔丁。 关于Coquand构造演算的证明理论。 (英语) Zbl 0873.03048号 Ann.纯粹应用。逻辑 83,第1期,23-101(1997). 审核人:K.Nour(法国布尔热) MSC公司:03财年03 03B40型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Seldin},Ann.《纯粹的应用》。逻辑83,No.1,23--101(1997;Zbl 0873.03048) 全文: 内政部
乔纳森·塞尔丁。 Coquand的构造演算:证明开发系统的数学基础。 (英语) Zbl 0766.03007号 正式Asp。计算。 4,第5期,425-441(1992).MSC公司:03B40型 03财年03 05年3月 68甲15 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Seldin},正式Asp。计算。4,第5号,425--441(1992;Zbl 0766.03007) 全文: 内政部
马丁·邦德。;J.Roger欣德利。;乔纳森·塞尔丁。 关于组合逻辑中弱等式的加法。 (英语) Zbl 0702.03007号 J.塞姆。日志。 54,第2期,590-607(1989). 审核人:G.薄荷 MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}等人,J.Symb。日志。54,编号2590-607(1989年;Zbl 0702.03007) 全文: 内政部
乔纳森·塞尔丁。 带等式规则的类型赋值的连续演算公式,用于\(lambda\ beta\)演算。 (英语) Zbl 0395.03014号 J.塞姆。日志。 43, 643-649 (1978).MSC公司:03B40型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Seldin},J.Symb。日志。43、643--649(1978年;Zbl 0395.03014) 全文: 内政部
乔纳森·塞尔丁。 类型赋值的顺序演算。 (英语) Zbl 0369.02014 J.塞姆。日志。 42, 11-28 (1977).MSC公司:03B40型 03F99型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Seldin},J.Symb。日志。42、11--28(1977;Zbl 0369.02014) 全文: 内政部
乔纳森·塞尔丁。 在\({\mathfrak F}_{21}\)中相等。 (英语) Zbl 0285.02022号 J.塞姆。日志。 38(1973), 571-575 (1974).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Seldin},J.Symb。日志。38、571--575(1974年;Zbl 0285.02022) 全文: 内政部