编辑配置文件(在新选项卡中打开) 索索、马蒂厄 合著者距离 作者ID: 索佐·马蒂厄 发布日期: 索索、马蒂厄 主页: 网址:https://www.irif.fr/~索索/ 外部链接: MGP公司·ORCID公司·谷歌学者·数据库许可证 编入索引的文档: 17出版物自2007年以来,包括2个附加arXiv预打印 1名编辑贡献·1进一步贡献 合著者: 26位合著者具有15联合出版物 287位合作作者 全部的 前5名合著者 4 单作者的 6 尼古拉斯·塔巴鲁 三 西里尔·科恩 2 阿南德,阿比舍克 2 安德烈·鲍尔 2 鲍利耶,西蒙 2 埃里克·芬斯特 2 雨果·赫贝林 2 吉勒姆·贾伯 2 彼得·勒法努·卢姆斯代恩 2 Spitters,巴斯 2 贝塔·齐利安尼 1 彼得·阿策尔 1 阿伦斯,贝内迪克特 1 安托万·阿利乌克斯 1 托尔斯滕·阿滕柯奇 1 卡洛·安吉利 1 杰里米·阿维加德 1 史蒂夫·阿沃迪 1 巴拉斯,布鲁诺 1 伊夫·贝托特 1 马克·贝泽姆 1 安东尼·博尔吉 1 安娜·波夫 1 纪尧姆·布鲁内里 1 罗伯特·李,警察 1 可口、蒂埃里 1 皮埃尔·卢伊斯·居里 1 彼得·戴比杰 1 扬尼克·福斯特 1 尼古拉·甘比诺 1 理查德·加纳 1 乔治·戈蒂尔 1 丹尼尔·理查德·格雷森 1 杰森·格罗斯 1 托马斯·卡利斯特·黑尔斯 1 罗伯特·哈珀 1 马丁·霍夫曼 1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 1 Hötzel Escardó,马汀 1 Hou(Favonia)、Kuen-Bang 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 约阿希姆·科克 1 尼古拉·克劳斯 1 亚历山大·克劳斯 1 费边·昆泽 1 皮埃尔·勒图泽伊 1 加布里埃尔·勒沃多夫斯基 1 李诺 1 丹·利卡塔 1 罗朝晖 1 阿西亚·马布比 1 格雷戈里·马莱查 1 马丁·洛夫(Martin-Löf,Per) 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 迈克尔·纳哈斯 1 尼古拉斯·欧里 1 埃里克·帕尔姆格伦 1 皮埃尔·马里·佩德罗 1 阿尔瓦罗·佩莱奥 1 安德鲁·波伦斯基 1 艾米丽·里尔 1 埃格伯特,里克 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 Michael A.舒尔曼。 1 迈克·舒尔曼 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 埃里克·坦特 1 1 阿明·蒂曼尼 1 本诺·范登伯格 1 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 1 沃伦、迈克尔·奥尔顿 1 塞奥温特哈尔特 1 诺姆·齐尔伯格 全部的 前5名系列 1 自动化推理杂志 1 MSCS公司。计算机科学中的数学结构 1 函数编程杂志 1 美国医学会杂志 1 形式化推理杂志 1 LIPIcs–莱布尼茨国际信息学会议录 领域 16 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 2 代数拓扑(55-XX) 1 总体主题;集合(00-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用100次中的次86文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 一流类型的课程。 Zbl 1165.68475号 索索、马蒂厄;尼古拉斯·欧里 25 2008 类型理论中广义重写的新视角。 Zbl 1205.68364号 索索、马蒂厄 15 2009 Coq中的子集胁迫。 Zbl 1178.68531号 索索、马蒂厄 13 2007 这个MetaCoq公司项目。 Zbl 1468.68075号 索索、马蒂厄;阿南德,阿比舍克;鲍利耶,西蒙;西里尔·科恩;扬尼克·福斯特;费边·昆泽;格雷戈里·马莱查;尼古拉斯·塔巴鲁;塞奥温特哈尔特 7 2020 方程式:一个相关的模式匹配编译器。 Zbl 1291.68369号 索索、马蒂厄 6 2010 在Coq中编程手指树。 兹比尔1291.68157 索索、马蒂厄 6 2007 Coq中的宇宙多态性。 Zbl 1416.68179号 索索、马蒂厄;尼古拉斯·塔巴鲁 6 2014 使用键入的Template-Coq实现经认证的元编程。 Zbl 1468.68071号 阿南德,阿比舍克;鲍利耶,西蒙;西里尔·科恩;索索、马蒂厄;尼古拉斯·塔巴鲁 5 2018 交互式定理证明程序中的偏爱和递归——概述。 Zbl 1361.68186号 安娜·波夫;亚历山大·克劳斯;索索、马蒂厄 5 2016 用强制扩展类型理论。 Zbl 1364.03016号 吉勒姆·贾伯;尼古拉斯·塔巴鲁;索索、马蒂厄 5 2012 强制的定义方面。 Zbl 1394.68063号 吉勒姆·贾伯;加布里埃尔·勒沃托夫斯基;皮埃尔·马里·佩德罗;索索、马蒂厄;尼古拉斯·塔巴鲁 三 2016 一种具有宇宙多态性和重载特性的Coq统一算法。 兹比尔1360.68774 贝塔·齐利安尼;索索、马蒂厄 2 2015 CIC新统一器的可理解指南,包括宇宙多态性和重载。 Zbl 1418.68185号 贝塔·齐利安尼;索索、马蒂厄 1 2017 Coq中的累计归纳类型。 Zbl 1462.68221号 阿明·蒂曼尼;索索、马蒂厄 1 2018 这个MetaCoq公司项目。 Zbl 1468.68075号 索索、马蒂厄;阿南德,阿比舍克;鲍利耶,西蒙;西里尔·科恩;扬尼克·福斯特;费边·昆泽;格雷戈里·马莱查;尼古拉斯·塔巴鲁;塞奥温特哈尔特 7 2020 使用键入的Template-Coq实现经认证的元编程。 Zbl 1468.68071号 阿南德,阿比舍克;鲍利耶,西蒙;西里尔·科恩;索索、马蒂厄;尼古拉斯·塔巴鲁 5 2018 Coq中的累计归纳类型。 Zbl 1462.68221号 阿明·蒂曼尼;索索、马蒂厄 1 2018 一个可理解的CIC新统一器指南,包括宇宙多态性和过载。 Zbl 1418.68185号 贝塔·齐利安尼;索索、马蒂厄 1 2017 交互式定理证明程序中的偏爱和递归——概述。 Zbl 1361.68186号 安娜·波夫;亚历山大·克劳斯;索索、马蒂厄 5 2016 强制的定义方面。 Zbl 1394.68063号 吉勒姆·贾伯;加布里埃尔·勒沃托夫斯基;皮埃尔·马里·佩德罗;索索、马蒂厄;尼古拉斯·塔巴鲁 三 2016 一种具有宇宙多态性和重载特性的Coq统一算法。 Zbl 1360.68774号 贝塔·齐利安尼;索索、马蒂厄 2 2015 Coq中的宇宙多态性。 Zbl 1416.68179号 索索、马蒂厄;尼古拉斯·塔巴鲁 6 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 用强制扩展类型理论。 Zbl 1364.03016号 吉勒姆·贾伯;尼古拉斯·塔巴鲁;索索、马蒂厄 5 2012 方程式:一个相关的模式匹配编译器。 Zbl 1291.68369号 索索、马蒂厄 6 2010 类型理论中广义重写的新视角。 Zbl 1205.68364号 索索、马蒂厄 15 2009 一流类型的课程。 Zbl 1165.68475号 索索、马蒂厄;尼古拉斯·欧里 25 2008 Coq中的子集矫顽力。 Zbl 1178.68531号 索索、马蒂厄 13 2007 在Coq中编程手指树。 Zbl 1291.68157号 索索、马蒂厄 6 2007 所有引用出版物 前5名被引用出版物 全部的 前5名190位作者引用 4 罗伯特·克雷伯斯 4 索索、马蒂厄 4 恩里科·塔西 三 拉尔斯·比克达尔 三 西里尔·科恩 三 雅克·亨利·茹尔丹 三 昆查尔,Ondřej 三 安德烈亚斯·洛赫比勒 三 阿西亚·马布比 三 Damien Pous 三 克劳迪奥·萨塞尔多蒂·科恩 三 溅出物,Bas 三 沃特·斯威斯特拉 2 安德烈亚斯·阿贝尔(Andreas M.Abel)。 2 安德烈亚·阿斯佩蒂 2 巴拉斯,布鲁诺 2 阿列舍·比兹亚克 2 托马斯·布雷班特 2 加布里埃尔·布劳恩 2 鸡尾酒,Jesper 2 多米尼克·德夫里塞 2 克里斯蒂安·多兹卡尔 2 德里克·德雷尔(Derek R.Dreyer)。 2 扬尼克·福斯特 2 Fürer,巴西尔 2 乔治·戈蒂尔 2 多米尼克·柯斯特 2 费边·昆泽 2 彼得·兰米奇 2 康诺·托马斯·麦克布莱德 2 朱利安·纳布克斯 2 托比亚斯·尼普科夫 2 安德烈·波佩斯库 2 威尔默·里奇奥蒂 2 坂口和彦 2 Joshua P.施耐德。 2 格特·斯莫尔卡 2 尼古拉斯·塔巴鲁 2 Laurent Théry 2 德米特里·特拉泰尔 2 埃利斯·范德维根 2 贝塔·齐利安尼 1 奥斯卡·亚伯拉罕森 1 雷纳尔德·阿弗尔德 1 阿伦斯,贝内迪克特 1 托尔斯滕·阿滕柯奇 1 阿南德,阿比舍克 1 丹尼尔·安尼科夫 1 毛里西奥·阿亚拉·林科恩 1 尼克·本顿 1 布鲁诺·伯纳多 1 弗雷德里克·布兰基 1 尼古拉·博塔 1 鲍利耶,西蒙 1 皮埃尔·布特里 1 大卫·J·布朗。 1 努里亚布雷德 1 布鲁内尔,阿洛伊斯 1 保罗·布鲁内特 1 阿兰·邦迪 1 曹钦祥 1 克里斯·卡辛基诺 1 乔里斯·塞勒曼斯 1 Manuel M.T.查克拉瓦蒂。 1 亚瑟·查古埃罗 1 陈,冉 1 拉纳德·A·克鲁斯顿。 1 可口、蒂埃里 1 皮埃尔·科尔比诺 1 皮埃尔·埃瓦里斯特·达根 1 华盛顿州,de Carvalho-Segundo 1 马克西姆·邓内斯 1 凯瑟琳·杜布瓦 1 弗兰蒂舍克·法尔卡 1 丹尼尔·费尔蒂 1 玛丽贝尔·费尔南德斯 1 伯克·费舍尔 1 罗伯特·布鲁斯·芬德勒 1 凯萨琳·费希尔 1 丹·弗鲁明 1 Kokichi二丁目 1 马可·加博阿迪 1 弗朗索瓦·加里洛 1 尼尔·加尼 1 汉斯·布格·格雷斯沃尔 1 本杰明·格雷戈里 1 丹·格罗斯曼 1 古德蒙德·格罗夫 1 关勇 1 阿玛·盖诺 1 彼得·汉考克。 1 纪尧姆·汉罗 1 Hideki桥本 1 雨果·赫贝林 1 马克·赫尔墨斯 1 何松林 1 Hriţcu,科特林 1 胡镇江 1 布莱恩·霍夫曼 1 中基尔胡尔 …还有90多名作者 全部的 前5名9连载 14 自动化推理杂志 12 函数编程杂志 4 计算机科学中的逻辑方法 三 MSCS公司。计算机科学中的数学结构 2 理论计算机科学 2 符号计算杂志 2 数学与人工智能年鉴 1 计算机科学中的数学 1 程序设计中的逻辑和代数方法杂志 全部的 前5名10个领域引用 82 计算机科学(68至XX) 28 数学逻辑和基础(03-XX) 三 范畴理论;同调代数(18-XX) 三 几何图形(51至XX) 2 数值分析(65-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 代数拓扑(55-XX) 按年份列出的引文