编辑配置文件(在新选项卡中打开) 拉纳德·A·克鲁斯顿。 合著者距离 作者ID: clouston分析-a 发布日期: 拉纳德·克鲁斯顿;拉纳德·A·克鲁斯顿。 外部链接: MGP公司 编入索引的文档: 19出版物自2005年以来 合著者: 14合著者具有14联合出版物 276位合作作者 全部的 前5名合著者 5 单作者的 6 拉尔斯·比克达尔 6 拉杰夫·普拉巴卡尔·戈尔 5 阿列舍·比兹亚克 5 汉斯·布格·格雷斯沃尔 5 阿文·费南托(Alwen Fernanto Tiu) 三 溅出物,Bas 2 杰里米·道森。 2 侯哲 2 Møgelberg、Rasmus Ejlers 2 安德鲁·皮特斯(Andrew M.Pitts)。 2 安德烈亚·维佐西 1 罗伯特·伊恩·戈德布拉特 1 蒂姆·S·里昂。 1 巴赛尔·曼纳 系列 1 计算机与系统科学杂志 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 领域 17 数学逻辑和基础(03-XX) 13 计算机科学(68至XX) 5 范畴理论;同调代数(18-XX) 2 代数拓扑(55-XX) 1 一般代数系统(08-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用125中的次77文件 引用人▼ 年份▼ 名义方程式逻辑。 Zbl 1277.68043号 拉纳德·A·克鲁斯顿。;安德鲁·皮特斯(Andrew M.Pitts)。 19 2007 具有共导类型的保护依赖类型理论。 Zbl 1475.68060号 阿列舍·比兹亚克;汉斯·布格·格雷斯沃尔;拉纳德·克鲁斯顿;莫盖尔伯格,拉斯穆斯·E。;拉尔斯·比克达尔 17 2016 为共导类型使用保护递归进行编程和推理。 Zbl 1459.68034号 克劳斯顿,拉纳德;阿列舍·比兹亚克;汉斯·布格·格雷斯沃尔;拉尔斯·比克达尔 12 2015 Fitch型模态λ计算。 Zbl 1504.03014号 拉纳德·克鲁斯顿 12 2018 模态从属类型理论和从属右伴随词。 Zbl 1479.03011号 拉尔斯·比克达尔;克劳斯顿,拉纳德;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·皮特斯(Andrew M.Pitts)。;溅出物,Bas 11 2020 保护lambda-calculus:使用保护递归为共导类型进行编程和推理。 Zbl 1445.03012号 拉纳德·克鲁斯顿;阿列舍·比兹亚克;汉斯·布格·格雷斯沃尔;拉尔斯·比克达尔 8 2016 名义上的劳弗尔理论。 Zbl 1326.68087号 拉纳德·克鲁斯顿 6 2011 保护立方类型理论:保护递归的路径相等。 Zbl 1370.68052号 拉尔斯·比克达尔;阿列舍·比兹亚克;拉纳德·克鲁斯顿;汉斯·布格,格拉思沃尔;溅出物,Bas;安德烈亚·维佐西 6 2016 名义方程逻辑中的约束。 Zbl 1342.68050号 拉纳德·克鲁斯顿 6 2010 守卫立方体理论。 Zbl 1477.03034号 拉尔斯·比克达尔;阿列舍·比兹亚克;拉纳德·克鲁斯顿;汉斯·布格·格雷斯沃尔;溅出物,Bas;安德烈亚·维佐西 6 2019 通过标记序列对命题抽象分离逻辑进行证明搜索。 Zbl 1284.68402号 Hóu,Zhé;拉纳德·克鲁斯顿;拉杰夫·戈尔;Tiu,Alwen先生 5 2014 完全直觉线性逻辑的无注释顺序计算。 Zbl 1356.03103号 拉纳德·克鲁斯顿;杰里米·道森;拉杰夫·戈尔;Tiu,Alwen先生 4 2013 煤的共生体:共生体和共生体。 Zbl 1169.68526号 拉纳德·克鲁斯顿;罗伯特·戈德布拉特 三 2005 树拓扑中的序列演算。 Zbl 1461.03060号 拉纳德·克鲁斯顿;拉杰夫·戈尔 三 2015 名义Lawvere理论:对带有名字的等式理论的范畴理论解释。 兹比尔1304.68030 拉纳德·克鲁斯顿 2 2014 通过嵌套序列实现时态逻辑和双直觉逻辑的句法插值。 Zbl 07650841号 蒂姆·里昂;Tiu,Alwen先生;拉杰夫·戈尔;拉纳德·克鲁斯顿 2 2020 从显示计算到深层嵌套序列计算:形式化为完全直觉主义线性逻辑。 Zbl 1418.03179号 杰里米·道森。;拉纳德·克鲁斯顿;拉杰夫·戈尔;Tiu,Alwen先生 1 2014 抽象分离逻辑的模块化标记序列计算。 Zbl 1407.03046号 Hóu,Zhé;拉纳德·克鲁斯顿;拉杰夫·戈尔;Tiu,Alwen先生 1 2018 标称集的广义名称抽象。 Zbl 1260.68088号 拉纳德·克鲁斯顿 1 2013 模态依赖型理论和依赖右邻接。 Zbl 1479.03011号 拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·皮特斯(Andrew M.Pitts)。;溅出物,Bas 11 2020 通过嵌套序列实现时态逻辑和双直觉逻辑的句法插值。 Zbl 07650841号 蒂姆·里昂;Tiu,Alwen先生;拉杰夫·戈尔;拉纳德·克鲁斯顿 2 2020 守卫立方体理论。 Zbl 1477.03034号 拉尔斯·比克达尔;阿列舍·比兹亚克;拉纳德·克鲁斯顿;汉斯·布格·格雷斯沃尔;溅出物,Bas;安德烈亚·维佐西 6 2019 Fitch型模态λ计算。 兹比尔1504.03014 拉纳德·克鲁斯顿 12 2018 抽象分离逻辑的模块化标记序列计算。 Zbl 1407.03046号 Hóu,Zhé;拉纳德·克鲁斯顿;拉杰夫·戈尔;Tiu,Alwen先生 1 2018 具有共导类型的保护依赖类型理论。 Zbl 1475.68060号 阿列舍·比兹亚克;汉斯·布格,格拉思沃尔;拉纳德·克鲁斯顿;莫盖尔伯格,拉斯穆斯·E。;拉尔斯·比克达尔 17 2016 保护lambda-calculus:使用保护递归为共导类型进行编程和推理。 Zbl 1445.03012号 拉纳德·克鲁斯顿;阿列舍·比兹亚克;汉斯·布格·格雷斯沃尔;拉尔斯·比克达尔 8 2016 保护立方类型理论:保护递归的路径相等。 Zbl 1370.68052号 拉尔斯·比克达尔;阿列舍·比兹亚克;拉纳德·克鲁斯顿;汉斯·布格·格雷斯沃尔;溅出物,Bas;安德烈亚·维佐西 6 2016 为共导类型使用保护递归进行编程和推理。 Zbl 1459.68034号 克劳斯顿,拉纳德;阿列舍·比兹亚克;汉斯·布格·格雷斯沃尔;拉尔斯·比克达尔 12 2015 树拓扑中的序列演算。 Zbl 1461.03060号 拉纳德·克鲁斯顿;拉杰夫·戈尔 三 2015 通过标记序列对命题抽象分离逻辑进行证明搜索。 Zbl 1284.68402号 Hóu,Zhé;拉纳德·克鲁斯顿;拉杰夫·戈尔;Tiu,Alwen先生 5 2014 名义Lawvere理论:对带有名字的等式理论的范畴理论解释。 Zbl 1304.68030号 拉纳德·克鲁斯顿 2 2014 从显示计算到深层嵌套序列计算:形式化为完全直觉主义线性逻辑。 Zbl 1418.03179号 杰里米·道森。;拉纳德·克鲁斯顿;拉杰夫·戈尔;Tiu,Alwen先生 1 2014 全直觉线性逻辑的无注释连续演算。 Zbl 1356.03103号 拉纳德·克鲁斯顿;杰里米·道森;拉杰夫·戈尔;Tiu,Alwen先生 4 2013 标称集的广义名称抽象。 Zbl 1260.68088号 拉纳德·克鲁斯顿 1 2013 名义上的Lawvere理论。 Zbl 1326.68087号 克劳斯顿,拉纳德 6 2011 名义方程逻辑中的约束。 Zbl 1342.68050号 拉纳德·克鲁斯顿 6 2010 名义方程式逻辑。 Zbl 1277.68043号 拉纳德·A·克鲁斯顿。;安德鲁·皮特斯(Andrew M.Pitts)。 19 2007 余代数的余变种:Comonads和coequations。 Zbl 1169.68526号 拉纳德·克鲁斯顿;罗伯特·戈德布拉特 三 2005 所有引用出版物 前5名被引用出版物 全部的 前5名113位作者引用 7 拉尔斯·比克达尔 7 莫格尔贝里,拉斯穆斯·埃杰勒斯 6 阿列舍·比兹亚克 6 拉纳德·A·克鲁斯顿。 4 玛丽贝尔·费尔南德斯 4 安德鲁·皮特斯(Andrew M.Pitts)。 4 尼科洛·维尔特里 三 克利斯朵夫·卡尔维斯 三 罗伊·克罗。 三 斯特凡·德姆里。 三 汉斯·布格,格拉思沃尔 三 侯哲 三 卡夫沃斯,G.A。 三 阿文·费南托(Alwen Fernanto Tiu) 三 安德烈亚·维佐西 2 Aceto,卢卡 2 埃本·布莱斯德尔 2 马塞洛·玛丽亚·邦桑格 2 德尔·卡门·冈萨雷斯(del Carmen González Huesca),卢尔德 2 Deters,摩根 2 伊格纳西奥·法布雷加斯 2 马塞洛·菲奥雷(Marcelo P.Fiore)。 2 默多克·詹姆斯·加贝 2 加西亚·佩雷斯,阿尔瓦罗 2 拉杰夫·普拉巴卡尔·戈尔 2 丹尼尔·格拉泽 2 胡杰森Z.S。 2 中基尔胡尔 2 Ingólfsdóttir,安娜 2 Max Iosifovich,卡诺维奇 2 亚历山大·库兹 2 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 2 利纳雷斯·阿雷瓦洛(Linares Arévalo)、皮拉尔·塞莱恩(Pilar Selene) 2 蒂姆·S·里昂。 2 巴赛尔·曼纳 2 米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 2 安德斯·莫特伯格 2 安德烈亚斯·努伊茨 2 尤兰达奥尔特加购物中心 2 伊恩·奥尔顿 2 马尔科·帕维奥蒂 2 碧姬·品特卡 2 伊莱恩·皮门特尔 2 朱利安·萨拉曼卡 2 安德烈·斯克洛夫 2 保拉·加布里埃拉·塞维利 2 溅出物,Bas 2 上村,太极 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 亚历杭德罗·阿吉雷 1 丹尼尔·艾哈曼 1 阿伦斯,贝内迪克特 1 卡洛·安吉乌利 1 阿泽夫多·阿莫林 1 帕特里克·巴尔 1 阿道夫芭蕾舞团 1 吉尔·巴特 1 海宁·巴索尔德 1 吉安路易吉·贝林 1 纪尧姆·布鲁内里 1 乔里斯·塞勒曼斯 1 蝉蜕、阿加塔 1 可口、蒂埃里 1 安里克·科斯梅·洛佩斯 1 凯特琳·达布雷拉 1 杰里米·道森。 1 贾斯珀·德里克斯 1 多米尼克·德夫里塞 1 多明格斯、杰苏斯·埃米利奥 1 谢尔盖·冈查洛夫 1 克里斯蒂安·乌尔达尔 1 罗伯特·哈珀 1 Willem B.Heijltjes。 1 安德烈·赫肖维茨 1 Hou(Favonia)、Kuen-Bang 1 贾斯汀·徐 1 贾比尔,吉尔赫姆 1 张俊英 1 塞莱斯汀·恩库伊米·朱尼亚 1 川谷义彦 1 莫里斯·基安皮 1 内尔·克里希纳斯瓦米 1 安布罗斯·拉丰 1 圣埃芬·让·埃里克·伦格兰德 1 约尔迪·利维 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 塔德乌兹·利塔克 1 刘,杨 1 艾蒂安·洛兹 1 马可·马格西 1 阿莱西奥·曼苏蒂 1 贾斯图斯·马蒂森 1 尤伊托·穆拉斯 1 弗兰克·内贝尔 1 Yuichi Nishiwaki 1 Daniela Luan Petrisan 1 雷文莎·拉马纳亚克 1 克里斯托夫·劳赫 1 里巴,科林 1 朱里安·罗特 …还有13位作者 全部的 前5名15篇连载文章中引用 9 MSCS公司。计算机科学中的数学结构 8 计算机科学中的逻辑方法 4 理论计算机科学 三 计算机与系统科学杂志 三 应用非经典逻辑杂志 三 函数编程杂志 2 ACM计算逻辑事务 1 Studia Logica公司 1 信息与计算 1 自动推理杂志 1 Indagationes Mathematicae公司。新系列 1 符号逻辑公报 1 代数杂志及其应用 1 应用逻辑杂志 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 51 数学逻辑和基础(03-XX) 50 计算机科学(68至XX) 23 范畴理论;同调代数(18-XX) 6 代数拓扑(55-XX) 4 一般代数系统(08-XX) 按年份列出的引文