编辑配置文件(在新选项卡中打开) 文森特·巴拉特 合著者距离 作者ID: 巴拉特·文森特 发布方式: 文森特·巴拉特 外部链接: MGP公司 已编制索引的文档: 7出版物自1999年起 合著者: 10位合著者具有7联合出版物 198位合作作者 全部的 前5名合著者 0 单作者的 三 罗伯托·迪·科斯莫 2 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 理查德·布贝尔 1 奥利维尔·丹维 1 迪迪埃·加米歇 1 雷纳·哈内尔 1 塞维琳·梅因高 1 亚历山大·米克尔 1 加布里埃尔·拉丹 1 杰罗姆·沃伊隆 系列 1 纯逻辑与应用逻辑年鉴 领域 5 数学逻辑和基础(03-XX) 4 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用33中的次27文件 引用人▼ 年份▼ 带和的类型lambda演算的扩张正规化和类型定向部分求值。 兹比尔1325.68045 文森特·巴拉特;罗伯托·迪·科斯莫;马塞洛·菲奥雷 14 2004 关于具有空类型和和类型的类型lambda演算中同构的注记。 Zbl 1099.03011号 马塞洛·菲奥雷;罗伯托·迪·科斯莫;文森特·巴拉特 8 2006 类型定向部分求值中的记忆。 Zbl 1028.68667号 文森特·巴拉特;奥利维尔·丹维 6 2002 直观证明的标签证明系统。 Zbl 0968.03064号 文森特·巴拉特;迪迪埃·加米歇 2 2000 线性类型同构的线性逻辑视图。 Zbl 0943.03048号 文森特·巴拉特;罗伯托·迪·科斯莫 2 1999 埃利姆:用于分层web编程的核心ML语言。 Zbl 1483.68055号 加布里埃尔·拉丹;杰罗姆·沃伊隆;文森特·巴拉特 1 2016 埃利姆:用于分层web编程的核心ML语言。 Zbl 1483.68055号 加布里埃尔·拉丹;杰罗姆·沃伊隆;文森特·巴拉特 1 2016 关于具有空类型和和类型的类型lambda演算中同构的注记。 兹比尔1099.02011 马塞洛·菲奥雷;罗伯托·迪·科斯莫;文森特·巴拉特 8 2006 带和的类型lambda演算的扩张正规化和类型定向部分求值。 Zbl 1325.68045号 文森特·巴拉特;罗伯托·迪·科斯莫;马塞洛·菲奥雷 14 2004 类型定向部分求值中的记忆。 Zbl 1028.68667号 文森特·巴拉特;奥利维尔·丹维 6 2002 直观证明的标签证明系统。 Zbl 0968.03064号 文森特·巴拉特;迪迪埃·加米歇 2 2000 线性类型同构的线性逻辑视图。 兹伯利0943.03048 文森特·巴拉特;罗伯托·迪·科斯莫 2 1999 所有引用出版物 前5名被引用出版物 全部的 前5名45位作者引用 三 马塞洛·菲奥雷(Marcelo P.Fiore)。 2 雅克·卡雷特 2 奥利维尔·丹维 2 马里亚纽拉州Dezani-Ciancaglini 2 罗伯托·迪·科斯莫 2 迪迪埃·加米歇 2 伊利克、丹科 2 奥列格·基塞利约夫 2 Shan、Chung-chieh 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 克劳斯·埃利格 1 丹尼尔·艾哈曼 1 Yohji阿卡玛 1 马克西姆·安布拉德 1 文森特·巴拉特 1 布洛克-南内斯塔德,陶斯 1 克里斯蒂亚诺·卡尔加诺 1 张,再见 1 Choi,Kwanghoon公司 1 马里奥·科波 1 菲利普·德格罗特 1 科斯塔·多森 1 彼得·迪布杰 1 埃利奥·乔瓦内蒂 1 弗洛里安·哈夫特曼 1 雨果·赫贝林 1 胜本,Shin-ya 1 丹尼斯·库珀伯格 1 Lee,Gyesik先生 1 伊内斯·玛格丽亚 1 吉尔卡·马西克 1 凯文·米利金 1 约翰·蒙克 1 托比亚斯·尼普科 1 Jean-Marc,诺丁 1 佐兰·佩特里奇 1 大卫·J·派姆。 1 阿穆尔·萨布里 1 菲利普·萨维尔 1 施温哈默,Jan 1 索洛夫·弗拉基米洛维奇 1 萨姆·斯塔顿 1 Makoto Tatsuta 1 马达莱娜·扎基 1 伊恩·泽尼 全部的 前5名6篇连载文章中引用 5 理论计算机科学 三 纯逻辑与应用逻辑年鉴 三 骨髓间充质干细胞。计算机科学中的数学结构 2 《数理逻辑季刊》 2 函数编程杂志 1 高阶和符号计算 在4个字段中引用 21 计算机科学(68至XX) 16 数学逻辑和基础(03-XX) 三 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 按年份列出的引文