乔纳森·塞尔丁
人员信息
优化列表
2020年–今天
2024 [i1] Fairouz Kamaredine公司 , 乔纳森·塞尔丁 :
悖论和无限使古代数学眼花缭乱,并一直持续到今天。 CoRR公司 abs/2401.02806 ( 2024 ) 2023 [c1] Fairouz Kamaredine公司 , 乔纳森·塞尔丁 :
悖论和无限使古代数学眼花缭乱,并一直持续到今天。 SYNASC公司 2023 : 11-19
2010 – 2019
2018 [公元26年] 乔纳森·塞尔丁 :
形式主义和结构主义,综合:H.B.库里的哲学思想。 拍打 5 ( 6 ) : 1301-1306 ( 2018 ) 2017 [公元25年] 乔纳森·塞尔丁 :
寻找与λβ-约简等价的组合逻辑约简,第二部分。 理论。 计算。 科学。 663 : 34-58 ( 2017 ) 2016 [公元24年] Fairouz Kamaredine公司 , 乔纳森·塞尔丁 , J.B.威尔斯 :
将柯里和丘奇的打字风格结合起来。 J.应用。 日志。 18 : 42-70 ( 2016 ) 2011 [公元23年] 乔纳森·塞尔丁 :
柯里的形式主义是结构主义。 泛逻辑 5 ( 1 ) : 91-100 ( 2011 ) [公元22年] 乔纳森·塞尔丁 :
寻找与λβ-约简等价的组合逻辑约简。 理论。 计算。 科学。 412 ( 37 ) : 4905-4918 ( 2011 )
2000 – 2009
2009 [r1] 乔纳森·塞尔丁 :
教会与咖喱的逻辑。 从罗素到教会的逻辑 2009 : 819-873 2004 [公元21年] 乔纳森·塞尔丁 :
解释结构微积分中的HOL。 J.应用。 日志。 2 ( 2 ) : 173-189 ( 2004 ) [公元20年] 马丁·邦德 , 乔纳森·塞尔丁 :
基本构造演算的变体。 J.应用。 日志。 2 ( 2 ) : 191-217 ( 2004 ) 2001 [公元19年] 乔纳森·塞尔丁 :
构造演算中的扩张集相等。 J.日志。 计算。 11 ( 三 ) : 483-493 ( 2001 ) 2000 [公元18年] 乔纳森·塞尔丁 :
论蕴涵在形式逻辑中的作用。 J.塞姆。 日志。 65 ( 三 ) : 1076-1114 ( 2000 ) [公元17年] 乔纳森·塞尔丁 :
结构演算中的列表和其他抽象数据类型。 数学。 结构。 计算。 科学。 10 ( 2 ) : 261-276 ( 2000 ) [公元16年] 乔纳森·塞尔丁 :
具有展开规则的Gentzen式结构序列演算。 理论。 计算。 科学。 243 ( 1-2 ) : 199-215 ( 2000 )
1990 – 1999
1999 [j15] Mariangiola Dezani-Ciancaglini公司 , 朱塞佩·隆戈 , 乔纳森·塞尔丁 :
前言。 数学。 结构。 计算。 科学。 9 ( 4 ) : 321 ( 1999 ) 1997 [公元14年] 乔纳森·塞尔丁 :
论柯昆构造演算的证明理论。 Ann.纯粹应用。 日志。 83 ( 1 ) : 23-101 ( 1997 ) 1992 [j13] 乔纳森·塞尔丁 :
Coquand的构造微积分:证明发展系统的数学基础。 形式方面计算。 4 ( 5 ) : 425-441 ( 1992 )
1980 – 1989
1989 [公元12年] 马丁·邦德 , J.罗杰·辛德利 , 乔纳森·塞尔丁 :
关于组合逻辑中弱等式的加法(xi)。 J.塞姆。 日志。 54 ( 2 ) : 590-607 ( 1989 ) [公元11年] 乔纳森·塞尔丁 :
归一化和排除中间。 一、。 Stud Logica公司 48 ( 2 ) : 193-217 ( 1989 ) 1986 【b2】 J.罗杰·辛德利 , 乔纳森·塞尔丁 :
组合器和Lambda-Calculus简介。 剑桥大学出版社 1986 [公元10年] 乔纳森·塞尔丁 :
关于中间逻辑的证明理论MH。 J.塞姆。 日志。 51 ( 三 ) : 626-647 ( 1986 ) 1980 [公元9年] 乔纳森·塞尔丁 :
我的论文的第二个更正:“关于定义约简的说明”。 圣母院J.正式日志。 21 ( 4 ) : 728 ( 1980 )
1970 – 1979
1978 [j8] 马丁·邦德 , 乔纳森·塞尔丁 :
惠誉系统QD中的一些异常。 J.塞姆。 日志。 43 ( 2 ) : 247-249 ( 1978 ) [j7] 乔纳森·塞尔丁 :
λ-β-演算的等式规则类型赋值的序贯演算公式。 J.塞姆。 日志。 43 ( 4 ) : 643-649 ( 1978 ) 1977 [j6] 乔纳森·塞尔丁 :
用于类型分配的序列演算。 J.塞姆。 日志。 42 ( 1 ) : 11-28 ( 1977 ) [j5] 乔纳森·塞尔丁 :
Q-一致性 F类 22 . 圣母院J.正式日志。 18 ( 1 ) : 117-127 ( 1977 ) 1975 【j4】 乔纳森·塞尔丁 :
作为形式系统研究的算术。 圣母院J.正式日志。 16 ( 4 ) : 449-464 ( 1975 ) 1973 [j3] 乔纳森·塞尔丁 :
F中的等式 21 . J.塞姆。 日志。 38 ( 4 ) : 571-575 ( 1973 ) 1972 【b1】 J.罗杰·辛德利 , 拉斯穆斯·勒多夫 , 乔纳森·塞尔丁 :
组合逻辑导论。 剑桥大学出版社 1972 ,国际标准图书编号 978-0-521-09697-3 ,第1-170页
1960 – 1969
1969 [注2] 乔纳森·塞尔丁 :
我的论文勘误表:“关于定义缩减的说明”。 圣母院J.正式日志。 10 ( 4 ) : 412 ( 1969 ) 1968 [j1] 乔纳森·塞尔丁 :
关于定义约简的注释。 圣母院J.正式日志。 9 ( 1 ) : 4-6 ( 1968 )