编辑配置文件（在新选项卡中打开） 范·贝克尔，斯特芬 合著者距离 作者ID： van-bakel.steffen公司 发布日期： 范·贝克尔，斯特芬;史蒂夫·范·贝克尔;范·贝克尔（Van Bakel，Steffen）;范·贝克尔，S。 更多。。。较少的 外部链接： MGP公司·ORCID公司 已编制索引的文档： 43出版物自1992年起 5名编辑的贡献 合著者： 19位合著者具有31份联合出版物 406位合作作者 全部的 前5名合著者 17 单作者的 8 乌戈·德利古罗 7 佛朗哥·巴巴内拉 5 玛丽贝尔·费尔南德斯 4 斯特凡诺·贝拉尔迪 4 玛丽亚·格拉齐亚·维格利奥蒂 三 乌尔里希·伯杰 三 马里亚纽拉州Dezani-Ciancaglini 三 皮埃尔·莱斯坎 2 圣埃芬·让·埃里克·伦格兰德 2 路易吉·利科里 2 西蒙娜·隆奇·德尔拉·罗卡 2 巴威·乌尔兹琴 1 德弗里斯（Fer-Jan J.de Vries）。 1 丹·多尔蒂 1 希思，J.K。 1 乌尔里希·威廉·科伦巴赫 1 杰珊·拉胡南丹 1 鲁本·罗伊，N.S。 1 亚历山大·萨默斯。 全部的 前5名系列 5 理论计算机科学 4 纯逻辑与应用逻辑年鉴 2 信息与计算 2 计算机科学中的逻辑方法 2 理论计算机科学电子论文集（EPTCS） 1 倒排索引综述 1 圣母院形式逻辑杂志 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 计算系统理论 1 计算机基础理论 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 1 程序设计中的逻辑与代数方法杂志 领域 37 数学逻辑和基础（03-XX） 33 计算机科学（68至XX） 5 总体主题；集合（00-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物有被引用184中的次90文件 引用人▼ 年份▼ 交叉点类型规程的完整限制。 Zbl 0762.03006号 范·贝克尔，斯特芬 41 1992 交叉口类型分配系统。 Zbl 0871.68031号 范·贝克尔，斯特芬 22 1995 可键入重写系统的规范化结果。 Zbl 0877.68072号 范·贝克尔，斯特芬;玛丽贝尔·费尔南德斯 12 1997 应用项重写系统中的部分交集类型赋值。 Zbl 0797.68091号 范·贝克尔，斯特芬 10 1993 严格类型分配系统的主要类型方案。 Zbl 0802.68024号 范·贝克尔，斯特芬 9 1993 在严格的交叉口类型分配系统中，削减是高度规范化的。 Zbl 1095.03058号 范·贝克尔，斯特芬 7 2004 组合子系统的规范化、近似和语义。 Zbl 1019.68059号 范·贝克尔，斯特芬;玛丽贝尔·费尔南德斯 6 2003 用于显式替换的交集类型。 Zbl 1082.68014号 圣埃芬伦格兰;皮埃尔·莱斯坎;丹·多尔蒂;马里亚纽拉州Dezani-Ciancaglini;范·贝克尔，斯特芬 6 2004 （上划线{\lambda}\mu\ tilde{\mu}\）的交并类型的完整性和部分稳健性结果。 Zbl 1225.03015号 范·贝克尔，斯特芬 5 2010 比较类型化和类型赋值系统的多维数据集。 Zbl 0952.03010号 范·贝克尔，斯特芬;路易吉·利科里;西蒙娜·隆奇·德拉·罗卡;巴维尔·乌尔兹琴 5 1997 lambda演算的严格交集类型。 Zbl 1293.68073号 史蒂夫·范·贝克尔 5 2011 语言：电路、计算和经典逻辑。 兹比尔1171.68411 范·贝克尔，斯特芬;圣埃芬伦格兰;皮埃尔·莱斯坎 4 2005 \（\lambda\）-树的交集类型。 Zbl 0984.68033号 范·贝克尔，斯特芬;佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;德弗里斯，Fer-Jan 4 2002 术语重写系统中的秩2交集类型赋值。 兹比尔0846.68052 范·贝克尔，斯特芬 4 1996 （lambda\mu）-演算的过滤器模型（扩展抽象）。 Zbl 1331.03021号 范·贝克尔，斯特芬;佛朗哥·巴巴内拉;乌戈·德利古罗 三 2011 使用经典序列进行计算。 Zbl 1173.03011号 范·贝克尔，斯特芬;皮埃尔·莱斯坎 三 2008 正在比较多维数据集。 Zbl 0947.03022号 范·贝克尔，斯特芬;路易吉·利科里;西蒙娜·隆奇·德拉·罗卡;巴威·乌尔兹琴 三 1994 子类型化对象和递归类型的逻辑等价。 Zbl 1136.68018号 范·贝克尔，斯特芬;乌戈·德利古罗 三 2008 以显式替换的强归一化为特征。 Zbl 1059.68020号 范·贝克尔，斯特芬;马里亚纽拉州Dezani-Ciancaglini 三 2002 基本交叉口类型分配。 Zbl 0924.03027号 范·贝克尔，斯特芬 三 1993 可键入项重写系统的近似和归一化结果。 Zbl 1407.68243号 范·贝克尔，斯特芬;玛丽贝尔·费尔南德斯 三 1996 交集类型赋值的核心：重新检查规范化证明。 Zbl 1145.68014号 范·贝克尔，斯特芬 2 2008 面向对象编程的近似语义和表达式谓词赋值（扩展抽象）。 Zbl 1331.68046号 鲁本罗;范·贝克尔（Van Bakel，Steffen） 2 2011 协调的会话符合性。 Zbl 1353.68023号 佛朗哥·巴巴内拉;范·贝克尔，斯特芬;乌戈·德利古罗 2 2017 将（lambda）演算逻辑解释为（pi）演算，保留脊椎缩减和类型。 Zbl 1254.03021号 范·贝克尔，斯特芬;维格里奥蒂，玛丽亚·格拉齐亚 2 2009 经典序列演算中的多态性方法。 Zbl 1178.03040号 亚历山大·萨默斯。;范·贝克尔，斯特芬 2 2006 强正规化\（lambda\mu\）-项的特征。 Zbl 1464.03013号 范·贝克尔，斯特芬;佛朗哥·巴巴内拉;乌戈·德利古罗 2 2013 可打字重写系统的（头部）规范化。 Zbl 1503.68163号 范·贝克尔，斯特芬;玛丽贝尔·费尔南德斯 2 1995 具有交集和并集类型的\（\mathcal X\）的完整性和稳健性结果。 Zbl 1283.03034号 范·贝克尔，斯特芬 2 2012 协调的会话符合性。 Zbl 1433.68234号 佛朗哥·巴巴内拉;范·贝克尔，斯特芬;乌戈·德利古罗 1 2015 从逻辑上划分对象和递归类型。（扩展摘要）。 Zbl 1171.68418号 范·贝克尔，斯特芬;乌戈·德利古罗 1 2005 \（\lambda\mu\）-演算的交集类型。 Zbl 1459.03018号 范·贝克尔，斯特芬;佛朗哥·巴巴内拉;乌戈·德利古罗 1 2018 一阶\（\varrho\）-演算的逻辑语义。 Zbl 1257.68052号 范·贝克尔，斯特芬;乌戈·德利古罗 1 2003 使用严格的否定交集类型表征\（\lambda\mu\）的归一化属性。 Zbl 1407.03015号 范·贝克尔，斯特芬 1 2018 实现\（\mathcal{X}\）。 兹比尔1272.68204 范·贝克尔，斯特芬;杰珊·拉胡南丹 1 2005 严格交叉类型的强正规化切割消除。 Zbl 1270.03034号 范·贝克尔，斯特芬 1 2003 为\（\lambda\mu\）发出声音并完成键入。 Zbl 1469.03044号 范·贝克尔，斯特芬 1 2011 具有抽象和（β）规则的重写系统的多态交集类型赋值。 Zbl 0988.68092号 范·贝克尔，斯特芬;佛朗哥·巴巴内拉;玛丽贝尔·费尔南德斯 1 2000 \（\lambda\mu\）-演算的交集类型。 Zbl 1459.03018号 范·贝克尔，斯特芬;佛朗哥·巴巴内拉;设计；乌戈·利古罗 1 2018 使用严格的否定交集类型表征\（\lambda\mu\）的归一化属性。 Zbl 1407.03015号 范·贝克尔，斯特芬 1 2018 协调的会话符合性。 兹比尔1353.68023 佛朗哥·巴巴内拉;范·贝克尔，斯特芬;设计；乌戈·利古罗 2 2017 协调的会话符合性。 Zbl 1433.68234号 佛朗哥·巴巴内拉;范·贝克尔，斯特芬;设计；乌戈·利古罗 1 2015 强正规化\（lambda\mu\）-项的特征。 Zbl 1464.03013号 范·贝克尔，斯特芬;佛朗哥·巴巴内拉;设计；乌戈·利古罗 2 2013 具有交集和并集类型的\（\mathcal X\）的完整性和稳健性结果。 Zbl 1283.03034号 范·贝克尔，斯特芬 2 2012 lambda演算的严格交集类型。 Zbl 1293.68073号 史蒂夫·范·贝克尔 5 2011 （lambda\mu）-演算的过滤器模型（扩展抽象）。 Zbl 1331.03021号 范·贝克尔，斯特芬;佛朗哥·巴巴内拉;设计；乌戈·利古罗 三 2011 面向对象编程的近似语义和表达谓词赋值（扩展抽象）。 Zbl 1331.68046号 鲁本·罗;范·贝克尔（Van Bakel，Steffen） 2 2011 为\（\lambda\mu\）发出声音并完成键入。 Zbl 1469.03044号 范·贝克尔，斯特芬 1 2011 （上划线{\lambda}\mu\ tilde{\mu}\）的交并类型的完整性和部分稳健性结果。 Zbl 1225.03015号 范·贝克尔，斯特芬 5 2010 将（lambda）演算逻辑解释为（pi）演算，保留脊椎缩减和类型。 Zbl 1254.03021号 范·贝克尔，斯特芬;维格里奥蒂，玛丽亚·格拉齐亚 2 2009 使用经典序列进行计算。 Zbl 1173.03011号 范·贝克尔，斯特芬;皮埃尔·莱斯坎 三 2008 子类型对象和递归类型的逻辑等价性。 Zbl 1136.68018号 范·贝克尔，斯特芬;设计；乌戈·利古罗 三 2008 交集类型赋值的核心：重新检查规范化证明。 Zbl 1145.68014号 范·贝克尔，斯特芬 2 2008 经典序列演算中的多态性方法。 Zbl 1178.03040号 亚历山大·萨默斯。;范·贝克尔，斯特芬 2 2006 语言：电路、计算和经典逻辑。 兹比尔1171.68411 范·贝克尔，斯特芬;圣埃芬伦格兰;皮埃尔·莱斯坎 4 2005 从逻辑上划分对象和递归类型。（扩展摘要）。 Zbl 1171.68418号 范·贝克尔，斯特芬;设计；乌戈·利古罗 1 2005 实现\（\mathcal｛X｝\）。 Zbl 1272.68204号 范·贝克尔，斯特芬;杰珊·拉胡南丹 1 2005 在严格的交叉口类型分配系统中，削减是高度规范化的。 Zbl 1095.03058号 范·贝克尔，斯特芬 7 2004 显式替换的交集类型。 Zbl 1082.68014号 圣埃芬伦格兰;皮埃尔·莱斯坎;丹·多尔蒂;马里亚纽拉州Dezani-Ciancaglini;范·贝克尔，斯特芬 6 2004 组合子系统的规范化、近似和语义。 兹伯利1019.68059 范·贝克尔，斯特芬;玛丽贝尔·费尔南德斯 6 2003 一阶\（\varrho\）-演算的逻辑语义。 Zbl 1257.68052号 范·贝克尔，斯特芬;设计；乌戈·利古罗 1 2003 严格交叉类型的强正规化切割消除。 Zbl 1270.03034号 范·贝克尔，斯特芬 1 2003 \（\lambda\）-树的交集类型。 Zbl 0984.68033号 范·贝克尔，斯特芬;佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;德弗里斯，Fer-Jan 4 2002 以显式替换的强归一化为特征。 Zbl 1059.68020号 范·贝克尔，斯特芬;马里亚纽拉州Dezani-Ciancaglini 三 2002 具有抽象和\（\β\）-规则的重写系统的多态交集类型赋值。 Zbl 0988.68092号 范·贝克尔，斯特芬;佛朗哥·巴巴内拉;玛丽贝尔·费尔南德斯 1 2000 可键入重写系统的规范化结果。 Zbl 0877.68072号 范·贝克尔，斯特芬;玛丽贝尔·费尔南德斯 12 1997 比较类型化和类型赋值系统的多维数据集。 Zbl 0952.03010号 范·贝克尔，斯特芬;路易吉·利科里;西蒙娜·隆奇·德拉·罗卡;巴维尔·乌尔兹琴 5 1997 术语重写系统中的秩2交集类型赋值。 Zbl 0846.68052号 范·贝克尔，斯特芬 4 1996 可键入项重写系统的近似和归一化结果。 Zbl 1407.68243号 范·贝克尔，斯特芬;玛丽贝尔·费尔南德斯 三 1996 交叉口类型分配系统。 Zbl 0871.68031号 范·贝克尔，斯特芬 22 1995 可打字重写系统的（头部）规范化。 兹比尔1503.68163 范·贝克尔，斯特芬;玛丽贝尔·费尔南德斯 2 1995 正在比较多维数据集。 Zbl 0947.03022号 范·贝克尔，斯特芬;路易吉·利科里;西蒙娜·隆奇·德拉·罗卡;巴威·乌尔兹琴 三 1994 应用项重写系统中的部分交集类型赋值。 Zbl 0797.68091号 范·贝克尔，斯特芬 10 1993 严格类型分配系统的主要类型方案。 Zbl 0802.68024号 范·贝克尔，斯特芬 9 1993 基本交叉口类型分配。 Zbl 0924.03027号 范·贝克尔，斯特芬 三 1993 完成交叉口类型规程的限制。 兹比尔0762.03006 范·贝克尔，斯特芬 41 1992 所有引用出版物 前5名被引用出版物 全部的 前5名102位作者引用 18 范·贝克尔，斯特芬 10 玛丽贝尔·费尔南德斯 8 乌戈·德利古罗 8 马里亚纽拉州Dezani-Ciancaglini 7 佛朗哥·巴巴内拉 7 迪莉娅·凯斯纳 5 西尔维娅·吉勒赞 4 皮埃尔·莱斯坎 4 西蒙娜·隆奇·德尔拉·罗卡 4 鲁本·罗伊，N.S。 三 马里奥弗洛里多 三 路易吉·利科里 三 丹尼尔·利马·文图拉 三 皮埃尔小瓶 2 法比奥·阿莱西 2 桑德拉·阿尔维斯 2 佩德罗·安吉洛 2 香塔尔·伯林 2 安东尼奥·布恰雷利 2 德弗里斯（Fer-Jan J.de Vries）。 2 Jelena Ivetić 2 Fairouz D.卡马雷丁。 2 圣埃芬·让·埃里克·伦格兰德 2 西尔维亚·利卡维奇 2 范·贝克尔，斯特芬·J·。 2 Wells，Joe B。 1 拉赫达尔·阿克伦 1 费德里科·阿斯奇里 1 毛里西奥·阿亚拉·林科恩 1 斯特凡诺·贝拉尔迪 1 亚历山德罗·贝拉杜奇 1 乌尔里希·伯杰 1 克拉拉·贝托利西 1 洛伦佐·贝蒂尼 1 维维亚娜·博诺 1 杰拉德·布多尔 1 萨宾·布罗达 1 马丁·邦德。 1 马里奥·科普 1 费卢西奥·达米亚尼 1 罗伯托·迪·科斯莫 1 丹·多尔蒂 1 丹尼尔·多尔蒂。 1 埃斯皮里托·桑托（Espírito Santo）、何塞·卡洛斯（JoséCarlos） 1 埃利奥特·费尔威瑟 1 加贝，默多克-詹姆斯 1 简·赫尔曼·杰弗斯 1 保拉·吉安尼尼 1 埃利奥·乔瓦内蒂 1 克劳斯·格鲁（Klaus E.Grue）。 1 琉长谷川 1 雨果·赫贝林 1 J.Roger欣德利 1 Nao Hirokawa 1 丹尼尔·赫希科夫 1 Furio Honsell 1 伊利克、丹科 1 阿萨夫·科福里。 1 直纪小林 1 久田俊彦 1 拉尔夫·拉梅尔 1 奥利维·洛朗 1 Lee，Gyesik先生 1 洛佩斯·弗拉瓜斯，弗朗西斯科·哈维尔 1 伊恩·麦基 1 Jean-Marie，马迪奥 1 朱利奥·曼佐内托 1 恩里克·马丁·马汀 1 松田和川 1 阿尔特·米德尔多普 1 亚历山大·米克尔 1 横滨Motohama 1 卡里姆·努尔 1 米歇尔·帕加尼 1 约瑟夫·保卢斯（Joseph W.N.Paulus）。 1 佩雷斯（Jorge A.Pérez）。 1 阿道夫·皮珀诺 1 安德鲁·波伦斯基 1 杰珊·拉胡南丹 1 Jakob Rehof 1 罗查·奥利维拉，安娜·克里斯蒂娜 1 胡安·罗德里格斯·霍塔拉 1 罗弗西，卢卡 1 多梅尼科·鲁阿波洛 1 格温·萨拉恩 1 戴维·桑吉奥吉 1 乔纳森·塞尔丁。 1 保拉·加布里埃拉·塞维利 1 Ayumi Shinohara 1 丹尼尔·南特，索布里尼奥 1 理查德·斯塔特曼 1 克劳德·斯托尔泽 1 亚历山大·萨默斯。 1 克里斯汀·塔森 1 Makoto Tatsuta 1 里卡多·特雷格里亚 1 乌日琴，Paweł 1 莱昂内尔·沃克斯 1 贝蒂·文内里 1 玛丽亚·格拉齐亚·维格利奥蒂 …还有另外两位作者 全部的 前5名16篇连载文章中引用 22 理论计算机科学 6 纯逻辑与应用逻辑年鉴 6 信息与计算 6 MSCS公司。计算机科学中的数学结构 6 计算机科学中的逻辑方法 2 圣母院形式逻辑杂志 2 高阶与符号计算 2 程序设计中的逻辑与代数方法杂志 1 信息处理信件 1 符号逻辑杂志 1 自动推理杂志 1 计算的形式方面 1 系统设计中的形式化方法 1 计算系统理论 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 在5个字段中引用 62 计算机科学（68至XX） 59 数学逻辑和基础（03-XX） 1 历史与传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文