编辑配置文件（在新选项卡中打开） Møgelberg、Rasmus Ejlers 合著者距离 作者ID： mogelberg.rasmus-ejlers公司 发布日期： 莫格尔贝里，拉斯穆斯·埃杰勒斯；莫盖尔伯格，拉斯穆斯·E。；拉斯穆斯·埃杰勒斯·莫格伯格；莫格伯格，R.E。 更多。。。较少的 外部链接： MGP公司 编入索引的文档： 34出版物自2004年起 合著者： 19位合著者具有29联合出版物 307合著作者 全部的 前5名合著者 5 单作者的 12 拉尔斯·比克达尔 7 亚历克斯·K·辛普森。 4 杰弗里·艾格。 4 Rasmus Lerchedahl彼得森 三 阿列舍·比兹亚克 三 巴赛尔·曼纳 三 马尔科·帕维奥蒂 2 拉纳德·A·克鲁斯顿。 2 汉斯·布格·格雷斯沃尔 2 朱塞佩·罗索里尼 2 萨姆·斯塔顿 1 艾哈迈德·萨利姆·Al-Sibahi 1 帕特里克·巴尔 1 安德鲁·皮特斯（Andrew M.Pitts）。 1 施温哈默，Jan 1 溅出物，Bas 1 克里斯蒂安·斯特夫林 1 尼科洛·维尔特里 1 安德烈·索夫斯基 全部的 前5名系列 6 计算机科学中的逻辑方法 5 计算机科学中的数学结构 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 逻辑与计算杂志 1 拓扑程序集 1 范畴的理论与应用 领域 27 计算机科学（68至XX） 26 数学逻辑和基础（03-XX） 17 范畴理论；同调代数（18-XX） 1 阶、格、有序代数结构（06-XX） 1 代数拓扑（55-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用178中的次88文件 引用人▼ 年份▼ 合成保护域理论的第一步：树拓扑的阶跃诱导。 Zbl 1269.03035号 拉尔斯·比克达尔；莫格尔贝里，拉斯穆斯·埃杰勒斯；施温哈默，Jan；克里斯蒂安·斯特夫林 37 2012 具有共导类型的保护依赖类型理论。 兹比尔1475.68060 阿列舍·比兹亚克；汉斯·布格·格雷斯沃尔；拉纳德·克鲁斯顿；莫盖尔伯格，拉斯穆斯·E。；拉尔斯·比克达尔 17 2016 通过保护递归进行生产性协同编程的类型理论。 Zbl 1394.68066号 莫格尔贝里，拉斯穆斯·埃杰勒斯 14 2014 Abadi和Plotkin参数逻辑的分类模型。 Zbl 1082.03012号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。 12 2005 以保护递归类型作为宇宙不动点的内涵型理论。 Zbl 1367.68060号 拉尔斯·比克达尔；莫格尔贝里，拉斯穆斯·埃杰勒斯 12 2013 状态的线性用法。 Zbl 1326.68070号 莫格尔贝里，拉斯穆斯·埃杰勒斯；萨姆·斯塔顿 11 2014 模态从属类型理论和从属右伴随词。 Zbl 1479.03011号 拉尔斯·比克达尔；拉纳德·克鲁斯顿；巴赛尔·曼纳；拉斯穆斯·埃杰勒斯·莫格伯格；安德鲁·皮特斯（Andrew M.Pitts）。；Spitters，巴斯 11 2020 时钟在滴答作响：没有更多的延迟了带保护递归的类型理论的约简语义。 Zbl 1452.03031号 帕特里克·巴尔；汉斯·布格·格雷斯沃尔；莫格尔贝里，拉斯穆斯·埃杰勒斯 9 2017 具有时钟同步的保护递归模型。 Zbl 1351.68057号 比兹亚克，阿莱什；Møgelberg、Rasmus Ejlers 7 2015 时钟——它们是附属物。时钟类型理论的表示语义。 Zbl 1462.68023号 巴赛尔·曼纳；莫格尔贝里，拉斯穆斯·埃杰勒斯 6 2018 丰富的效果演算：语法和语义。 Zbl 1338.03014号 杰夫·艾格；莫格尔贝里，拉斯穆斯·埃杰勒斯；亚历克斯·辛普森 5 2014 用线性类型丰富效果演算。 Zbl 1257.03053号 杰夫·艾格；莫格尔贝格、拉斯穆斯·埃杰勒斯；亚历克斯·辛普森 5 2009 按调用值模型中的线性使用状态。 Zbl 1344.68040号 莫格尔贝里，拉斯穆斯·埃杰勒斯；萨姆·斯塔顿 4 2011 保护依赖类型理论的表示语义。 Zbl 1495.68127号 阿列舍·比兹亚克；拉斯穆斯·埃杰勒斯·莫格伯格 4 2020 参数域-多态直觉/线性lambda演算的理论模型。 Zbl 1273.03099号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。；拉斯姆斯·彼得森。 三 2006 线性Abadi&Plotkin逻辑。 Zbl 1127.03022号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。；Rasmus Lerchedahl彼得森 三 2006 线性Abadi和Plotkin逻辑的范畴理论模型。 Zbl 1140.03012号 拉尔斯·比克达尔；Møgelberg、Rasmus E。；拉斯姆斯·彼得森。 三 2008 将多态FPC解释为参数多态性的领域理论模型。 Zbl 1133.68310号 莫格尔贝里，拉斯穆斯·埃杰勒斯 三 2006 防护型理论中的PCF模型。 Zbl 1351.68063号 马尔科·帕维奥蒂；莫格尔贝里，拉斯穆斯·埃杰勒斯；拉尔斯·比克达尔 三 2015 综合保护域理论中递归类型的表示语义。 Zbl 1401.68047号 莫格尔贝里，拉斯穆斯·埃杰勒斯；马尔科·帕维奥蒂 2 2016 滴答钟作为从属右伴随词：钟型理论的指称语义。 Zbl 1509.03053号 巴赛尔·曼纳；莫格尔贝里，拉斯穆斯·埃杰勒斯；尼科洛·维尔特里 1 2020 丰富效果演算中的线性使用CPS转换。 Zbl 1273.03164号 杰夫·艾格；莫格尔贝里，拉斯穆斯·埃杰勒斯；亚历克斯·辛普森 1 2012 参数多态性的领域理论模型。 Zbl 1138.03027号 伯克达尔，L。；莫格伯格，R.E。；彼得森，R.L。 1 2007 综合保护域理论中递归类型的表示语义。 兹比尔1411.68030 莫盖尔伯格，拉斯穆斯·E。；马尔科·帕维奥蒂 1 2019 线性Abadi&Plotkin逻辑的综合域理论和模型。 Zbl 1153.03007号 莫格尔贝里，拉斯穆斯·埃杰勒斯；拉尔斯·比克达尔；朱塞佩·罗索里尼 1 2008 富集效应演算中的线性延续。 兹比尔1284.68180 杰夫·艾格；莫格尔贝里，拉斯穆斯·埃杰勒斯；亚历克斯·辛普森 1 2010 计算效果的关系参数。 Zbl 1168.68009号 莫格尔贝里，拉斯穆斯·埃杰勒斯；亚历克斯·辛普森 1 2009 模态从属类型理论和从属右伴随词。 Zbl 1479.03011号 拉尔斯·比克达尔；拉纳德·克鲁斯顿；巴赛尔·曼纳；拉斯穆斯·埃杰勒斯·莫格伯格；安德鲁·皮特斯（Andrew M.Pitts）。；溅出物，Bas 11 2020 保护依赖类型理论的表示语义。 Zbl 1495.68127号 阿列舍·比兹亚克；拉斯穆斯·埃杰勒斯·莫格伯格 4 2020 滴答钟作为从属右伴随词：钟型理论的指称语义。 Zbl 1509.03053号 巴赛尔·曼纳；莫格尔贝里，拉斯穆斯·埃杰勒斯；尼科洛·维尔特里 1 2020 综合保护域理论中递归类型的表示语义。 Zbl 1411.68030号 莫盖尔伯格，拉斯穆斯·E。；马尔科·帕维奥蒂 1 2019 时钟——它们是附属物。时钟类型理论的指称语义。 Zbl 1462.68023号 巴赛尔·曼纳；莫格尔贝里，拉斯穆斯·埃杰勒斯 6 2018 时钟在滴答作响：没有更多的延迟了带保护递归的类型理论的约简语义。 Zbl 1452.03031号 帕特里克·巴尔；汉斯·布格·格雷斯沃尔；Møgelberg、Rasmus Ejlers 9 2017 具有共导类型的保护依赖类型理论。 Zbl 1475.68060号 阿列舍·比兹亚克；汉斯·布格·格雷斯沃尔；拉纳德·克鲁斯顿；莫盖尔伯格，拉斯穆斯·E。；拉尔斯·比克达尔 17 2016 综合保护域理论中递归类型的表示语义。 Zbl 1401.68047号 莫格尔贝里，拉斯穆斯·埃杰勒斯；马尔科·帕维奥蒂 2 2016 具有时钟同步的保护递归模型。 Zbl 1351.68057号 阿列舍·比兹亚克；莫格尔贝格、拉斯穆斯·埃杰勒斯 7 2015 防护型理论中的PCF模型。 Zbl 1351.68063号 马尔科·帕维奥蒂；莫格尔贝里，拉斯穆斯·埃杰勒斯；拉尔斯·比克达尔 三 2015 通过保护递归进行生产性协同编程的类型理论。 Zbl 1394.68066号 莫格尔贝里，拉斯穆斯·埃杰勒斯 14 2014 状态的线性用法。 Zbl 1326.68070号 莫格尔贝里，拉斯穆斯·埃杰勒斯；萨姆·斯塔顿 11 2014 丰富的效果演算：语法和语义。 兹比尔1338.03014 杰夫·艾格；莫格尔贝里，拉斯穆斯·埃杰勒斯；亚历克斯·辛普森 5 2014 以保护递归类型作为宇宙不动点的内涵型理论。 Zbl 1367.68060号 拉尔斯·比克达尔；莫格尔贝里，拉斯穆斯·埃杰勒斯 12 2013 合成保护域理论的第一步：树拓扑的阶跃诱导。 兹比尔1269.03035 Lars Birkedal公司；莫格尔贝里，拉斯穆斯·埃杰勒斯；施温哈默，Jan；克里斯蒂安·斯特夫林 37 2012 丰富效果演算中的线性使用CPS转换。 Zbl 1273.03164号 杰夫·艾格；莫格尔贝里，拉斯穆斯·埃杰勒斯；亚历克斯·辛普森 1 2012 按调用值模型中的线性使用状态。 Zbl 1344.68040号 莫格尔贝里，拉斯穆斯·埃杰勒斯；山姆·斯塔顿 4 2011 富集效应演算中的线性延续。 Zbl 1284.68180号 杰夫·艾格；莫格尔贝里，拉斯穆斯·埃杰勒斯；亚历克斯·辛普森 1 2010 用线性类型丰富效果演算。 Zbl 1257.03053号 杰夫·艾格；莫格尔贝里，拉斯穆斯·埃杰勒斯；亚历克斯·辛普森 5 2009 计算效果的关系参数。 Zbl 1168.68009号 莫格尔贝里，拉斯穆斯·埃杰勒斯；亚历克斯·辛普森 1 2009 线性Abadi和Plotkin逻辑的范畴理论模型。 Zbl 1140.03012号 Lars Birkedal公司；莫盖尔伯格，拉斯穆斯·E。；拉斯穆斯·彼得森。 三 2008 线性Abadi&Plotkin逻辑的综合域理论和模型。 Zbl 1153.03007号 莫格尔贝里，拉斯穆斯·埃杰勒斯；拉尔斯·比克达尔；朱塞佩·罗索里尼 1 2008 参数多态性的领域理论模型。 兹伯利1138.03027 伯克达尔。；莫格伯格，R.E。；彼得森，R.L。 1 2007 参数域-多态直觉/线性lambda演算的理论模型。 Zbl 1273.03099号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。；拉斯穆斯·彼得森。 三 2006 线性Abadi&Plotkin逻辑。 Zbl 1127.03022号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。；Rasmus Lerchedahl彼得森 三 2006 将多态FPC解释为参数多态性的领域理论模型。 Zbl 1133.68310号 莫格尔贝里，拉斯穆斯·埃杰勒斯 三 2006 Abadi和Plotkin参数逻辑的分类模型。 Zbl 1082.03012号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。 12 2005 所有引用出版物 前5名被引用出版物 全部的 前5名101位作者引用 14 莫格尔贝里，拉斯穆斯·埃杰勒斯 12 拉尔斯·比克达尔 8 阿列舍·比兹亚克 5 尼尔·加尼 5 帕特里夏·约翰 5 萨姆·斯塔顿 4 丹尼尔·艾哈曼 4 克劳斯顿，拉纳德·A。 4 弗雷德里克·诺德瓦尔·福斯伯格 4 尼科洛·维尔特里 三 汉斯·布格·格雷斯沃尔 三 卡夫沃斯，G.A。 三 塔德乌兹·利塔克 三 巴赛尔·曼纳 三 费德里科·奥尔萨尼戈 三 马尔科·帕维奥蒂 三 卢茨·施罗德 三 亚历克斯·K·辛普森。 三 塔尔莫乌斯塔卢 2 杰斯珀·本森 2 理查德·加纳 2 恩里科·吉奥尔齐 2 丹尼尔·格拉泽 2 阿德里安·瓜托 2 克劳迪奥·赫米达 2 胡杰森Z.S。 2 罗伯特·克雷伯斯 2 迪伦·麦克德莫特 2 乔治·梅特卡夫 2 安德烈亚斯·努伊茨 2 碧姬·品特卡 2 马西斯·雷内拉 2 科林·里巴 2 西蒙·桑斯基 2 乌尔里希·舍普 2 保拉·加布里埃拉·塞维利 2 溅出物，Bas 2 上村，太极 2 范古尔，塞缪尔·雅各布 2 安德烈亚·维佐西 2 Janis Voigtlander公司 2 弗拉基米尔·扎姆德日耶夫 1 帕特里克·巴尔 1 海宁·巴索尔德 1 安德烈·鲍尔 1 乔里斯·塞勒曼斯 1 乌戈·达尔拉戈 1 乌戈·德利古罗 1 德拉赫尚、法扎内赫 1 多米尼克·德弗里斯 1 德里克·德雷尔（Derek R.Dreyer）。 1 杰弗里·艾格。 1 托马斯·埃尔哈德 1 克劳迪娅·法根 1 安德烈·菲林斯基 1 谢尔盖·冈查洛夫 1 克里斯蒂安·乌尔达尔·格劳伦德 1 朱利奥·格雷里 1 皮埃尔·海韦拉特 1 贾比尔，吉尔赫姆 1 雅各布斯，巴特 1 张俊英 1 丹尼尔·杰弗里斯 1 沃尔夫冈·杰利奇 1 雅克·亨利·乔尔丹 1 拉尔夫·荣格 1 乔纳斯·卡斯伯格·辛里奇森 1 内尔·克里希纳斯瓦米 1 吉姆·莱尔德 1 保罗·布莱恩·利维 1 丹尼尔·李卡塔（Daniel R.Licata）。 1 伯特·林登霍维斯 1 Mislove，Michael W。 1 蒂尔·莫萨科夫斯基 1 新，Max S。 1 德克·帕丁森 1 Rasmus Lerchedahl彼得森 1 弗兰克，普芬宁 1 安德鲁·皮特斯（Andrew M.Pitts）。 1 戈登·普洛金（Gordon D.Plotkin）。 1 米里亚姆·波尔泽 1 乌尔里希·拉宾斯坦 1 克里斯托夫·劳赫 1 美国雷迪。 1 蒂姆，狂欢 1 埃克塞奎尔·里瓦斯 1 Edmund P.罗宾逊。 1 马里奥·罗曼 1 朱塞佩·罗索里尼 1 Michael A.舒尔曼。 1 菲利普·西奇科夫斯基 1 亚历山德拉·席尔瓦 1 乔纳森·斯特林 1 卡斯珀·斯文森 1 Dmitrij，Szamozvancev 1 罗伯特·D·坦能。 1 里卡多·特雷格里亚 1 马蒂杰斯·瓦卡 1 范德维德，尼尔斯 1 阿尔伯特·维瑟 …还有1位作者 全部的 前5名11篇连载文章中引用 15 计算机科学中的逻辑方法 10 计算机科学中的数学结构 7 理论计算机科学 三 函数编程杂志 2 信息与计算 2 程序设计中的逻辑和代数方法杂志 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 Indagationes Mathematicae公司。新系列 1 符号逻辑公报 1 ACM计算逻辑汇刊 全部的 前5名在6个字段中引用 73 计算机科学（68至XX） 53 数学逻辑和基础（03-XX） 31 范畴理论；同调代数（18-XX） 2 代数拓扑（55-XX） 2 量子理论（81-XX） 1 数值分析（65-XX） 按年份列出的引文