克里斯蒂安·斯特夫林
人员信息
附属: 丹麦奥胡斯大学
优化列表
2010 – 2019
2013 [j7] 简·施温哈默 , 拉尔斯·比克达尔 , 弗朗索瓦·波蒂埃 , 伯恩哈德再利用 , 克里斯蒂安·斯特夫林 , 杨红seok :
阶梯诱导的隐态克里普克模型。 数学。 结构。 计算。 科学。 23 ( 1 ) : 1-54 ( 2013 ) 2012 [j6] 拉尔斯·比克达尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 简·施温哈默 , 克里斯蒂安·斯特夫林 :
合成保护域理论的第一步:树拓扑的阶跃诱导。 日志。 方法计算。 科学。 8 ( 4 ) ( 2012 ) [j5] 拉尔斯·比克达尔 , 克里斯蒂安·斯特夫林 , 雅各布·塔姆斯堡 :
高阶有状态ADT的关系可实现性模型。 J.日志。 代数方法课程。 81 ( 4 ) : 491-521 ( 2012 ) 2011 [第13条] 简·施温哈默 , 拉尔斯·比克达尔 , 克里斯蒂安·斯特夫林 :
基于递归定义度量空间上递归性质的隐态分步索引Kripke模型。 FoSSaCS公司 2011 : 305-319 [第12条] 拉尔斯·比克达尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 简·施温哈默 , 克里斯蒂安·斯特夫林 :
合成保护域理论的第一步:树顶部的逐步索引。 低收入国家 2011 : 55-64 [第11条] 拉尔斯·比克达尔 , 伯恩哈德再利用 , 简·施温哈默 , 克里斯蒂安·斯特夫林 , 雅各布·塔姆斯堡 , 杨红seok :
递归世界上的阶跃kripke模型。 POPL公司 2011 : 119-132 [第10条] 亚历山大·别斯 , 拉尔斯·比克达尔 , 克里斯蒂安·斯特夫林 :
存储锁分离逻辑的分步索引Kripke模型。 MFPS公司 2011 : 121-143 2010 【j4】 拉尔斯·比克达尔 , 克里斯蒂安·斯特夫林 , 雅各布·塔姆斯堡 :
参数多态性、通用引用和递归类型的可实现性语义。 数学。 结构。 计算。 科学。 20 ( 4 ) : 655-703 ( 2010 ) [j3] 拉尔斯·比克达尔 , 克里斯蒂安·斯特夫林 , 雅各布·塔姆斯堡 :
递归度量空间方程的分类理论解。 西奥。 计算。 科学。 411 ( 47 ) : 4102-4122 ( 2010 ) 【c9】 拉尔斯·比克达尔 , 简·施温哈默 , 克里斯蒂安·斯特夫林 :
带保护递归的Lambda演算的度量模型。 菲莎国际学院 2010 : 19-25 【c8】 拉尔斯·比克达尔 , 简·施温哈默 , 克里斯蒂安·斯特夫林 :
基于递归定义度量空间上递归性质的隐态分步索引Kripke模型。 菲莎国际学院 2010 : 27-33
2000 – 2009
2009 【c7】 克里斯蒂安·斯特夫林 , 瑟伦·拉森 :
一个完整的,共诱导的顺序控制和状态句法理论。 语义和代数规范 2009 : 329-375 【c6】 拉尔斯·比克达尔 , 克里斯蒂安·斯特夫林 , 雅各布·塔姆斯堡 :
广义递归度量空间方程的解。 菲莎国际学院 2009 : 18-24 [c5] 拉尔斯·比克达尔 , 克里斯蒂安·斯特夫林 , 雅各布·塔姆斯堡 :
参数多态、一般引用和递归类型的可实现语义。 FoSSaCS公司 2009 : 456-470 【c4】 拉尔斯·比克达尔 , 克里斯蒂安·斯特夫林 , 雅各布·塔姆斯堡 :
引用和递归类型的关系参数。 TLDI公司 2009 : 91-104 2007 【c3】 安德烈·菲林斯基 , 克里斯蒂安·斯特夫林 :
关于有效数据类型的归纳推理。 ICFP公司 2007 : 97-110 【c2】 克里斯蒂安·斯特夫林 , 瑟伦·拉森 :
顺序控制和状态的完整的共归纳句法理论。 POPL公司 2007 : 161-172 2006 [注2] 克里斯蒂安·斯特夫林 :
用surpjective对推广推广的Lambda演算是保守的。 日志。 方法计算。 科学。 2 ( 2 ) ( 2006 ) [j1] 克里斯蒂安·斯特夫林 :
与长Beta-Eta范式解的高阶Beta匹配。 Nord.J.计算。 13 ( 1-2 ) : 117-126 ( 2006 ) 2005 【c1】 马尔戈扎塔·比尔纳卡 , 奥利维尔·丹维 , 克里斯蒂安·斯特夫林 :
弱头归一化证明的程序提取。 MFPS公司 2005 : 169-189