丹科·伊利克
人员信息
优化列表
2010 – 2019
2019 [j5] Taus Brock Nannestad公司 , 丹科·伊利克 :
基于高中身份的直觉公式层次结构。 数学。 日志。 问。 65 ( 1 ) : 57-79 ( 2019 ) [i10] 丹科·伊利克 :
公式和指数多项式之间的类比在等价形式和正规形式中的应用。 CoRR公司 abs/1905.07621 ( 2019 ) 2017 【j4】 丹科·伊利克 :
通过编程语言技术进行证明展开的观点。 拍打 4 ( 10 ) : 3483-3504 ( 2017 ) 【c7】 丹科·伊利克 :
类型的exp-log范式:分解扩展等式并紧凑地表示术语。 POPL公司 2017 : 387-399 2016 [第九章] Taus Brock-Nannestad公司 , 丹科·伊利克 :
基于高中身份的直觉公式层次结构。 CoRR公司 abs/1601.04876 ( 2016 ) [i8] 丹科·伊利克 :
通过编程语言技术展开证明的透视图。 CoRR公司 abs/1605.09177 ( 2016 ) 2015 [i7] 丹科·伊利克 , 扎卡里亚·奇哈尼 :
带和的Lambda微积分的类型和标准项的Exp-Log范式。 CoRR公司 abs/1502.04634 ( 2015 ) 2014 【c6】 丹科·伊利克 :
存在和时类型同构的公理和可判定性。 CSL-LICS公司 2014 : 53:1-53:7 【c5】 丹科·伊利克 :
延续传递风格的证明:哥德尔系统T的规范化用和和和分隔的控制操作符扩展:提炼教程。 PPDP(PPDP) 2014 : 55-56 [i6] 丹科·伊利克 :
存在和时类型同构的公理和判定性。 CoRR公司 abs/1401.2567 ( 2014 ) 2013 [j3] 丹科·伊利克 :
连续通过式模型,用于直观逻辑。 Ann.纯粹应用。 日志。 164 ( 6 ) : 651-662 ( 2013 ) 【c4】 佐兰·乌特科夫斯基 , 丹科·伊利克 , Ljupco Kocarev公司 :
非相干块衰落MIMO多址信道可实现的预长区域。 ISWCS公司 2013 : 1-5 【c3】 丹科·伊利克 , 中田惠子 :
通过限定控制算子直接证明康托空间上的开归纳法。 类型 2013 : 188-201 【c2】 丹科·伊利克 :
用于移位和重置的形式化类型定向部分求值器。 余弦 2013 : 86-100 [i5] 丹科·伊利克 :
作为一项建设性原则的双重否定转移。 CoRR公司 abs/1301.5089 ( 2013 ) 2012 [注2] 丹科·伊利克 :
带分隔符的控制运算符证明了双负移位。 Ann.纯粹应用。 日志。 163 ( 11 ) : 1549-1559 ( 2012 ) [i4] 丹科·伊利克 , 中田惠子 :
使用限定控制算子的开放归纳法的构造性证明。 CoRR公司 abs/1209.2229 ( 2012 ) 2011 [i3] 丹科·伊利克 :
直觉主义逻辑的连续通行风格模型。 CoRR公司 abs/1102.1061 ( 2011 ) 2010 【b1】 丹科·伊利克 :
构造完整性证明和限定控制。 (完成和控制限制的前提条件)。 法国帕莱索埃科尔理工学院, 2010 [j1] 丹科·伊利克 , 吉西克·李 , 雨果·赫伯林 :
经典逻辑的克里普克模型。 Ann.纯粹应用。 日志。 161 ( 11 ) : 1367-1378 ( 2010 ) [i2] 丹科·伊利克 :
带分隔符的控制运算符证明了双负移位。 CoRR公司 abs/1012.0929 ( 2010 )
2000 – 2009
2009 [i1] 丹科·伊利克 , 吉西克·李 , 雨果·赫伯林 :
经典逻辑的克里普克模型。 CoRR公司 abs/0904.0071 ( 2009 ) 2006 [c1] 丹科·伊利克 :
类型理论中的Zermelo良序定理。 类型 2006 : 175-187