编辑配置文件（在新选项卡中打开） 桑德拉·阿尔维斯 合著者距离 作者ID： 阿尔维斯·桑德拉 发布日期： 桑德拉·阿尔维斯 外部链接： ORCID公司·数据库管理程序 已编制索引的文档： 25出版物自2002年起 6作为编辑的贡献 合著者： 15位合著者具有30联合出版物 251位联合作者 全部的 前5名合著者 0 单作者的 13 玛丽贝尔·费尔南德斯 13 马里奥弗洛里多 10 伊恩·麦基 三 萨宾·布罗达 2 伊利亚诺·塞维萨托 2 迪莉娅·凯斯纳 2 米盖尔·拉莫斯 2 丹尼尔·利马·文图拉 1 德吉亚列夫，阿纳托利·伊万诺维奇 1 Besik Dundua 1 特默尔库西亚 1 米歇尔·帕加尼 1 弗朗索瓦·雷吉斯·西诺 1 雷娜塔·瓦瑟曼 1 雷娜塔·瓦瑟曼 全部的 前5名系列 三 理论计算机科学 三 理论计算机科学电子论文集（EPTCS） 2 MSCS公司。计算机科学中的数学结构 1 信息处理信件 1 逻辑与计算杂志 1 IGPL逻辑期刊 1 高阶和符号计算 1 理论计算机科学电子笔记 领域 24 计算机科学（68至XX） 19 数学逻辑和基础（03-XX） 6 一般性和全局性主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用36次24文件 引用人▼ 年份▼ 线性函数的幂。 Zbl 1225.03014号 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;马里奥弗洛里多;伊恩·麦基 8 2006 线性递归函数。 Zbl 1186.03064号 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;马里奥弗洛里多;伊恩·麦基 4 2007 lambda演算的弱线性化。 Zbl 1077.68016号 桑德拉·阿尔维斯;马里奥弗洛里多 4 2005 哥德尔的系统（mathcal T）被重新访问。 Zbl 1191.68154号 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;马里奥弗洛里多;伊恩·麦基 4 2010 关于类型居住的简短说明：公式树与游戏语义。 Zbl 1332.03003号 阿尔维斯，S。;布罗达，S。 4 2015 基于类别的元模型中的访问控制和义务：基于重写的语义。 Zbl 1457.68027号 桑德拉·阿尔维斯;阿纳托利·德吉亚列夫;玛丽贝尔·费尔南德斯 2 2015 迭代器类型。 Zbl 1195.03020号 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;马里奥弗洛里多;伊恩·麦基 2 2007 一种新的图解证明法。 Zbl 1469.03156号 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;伊恩·麦基 2 2011 封闭式还原策略的威力。 Zbl 1277.03009号 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;弗洛里多，马里奥;伊恩·麦基 2 2007 使用约束处理规则进行类型推断。 Zbl 1268.68042号 桑德拉·阿尔维斯;马里奥弗洛里多 2 2002 紧急管理访问控制策略分析框架。 兹比尔1342.68190 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯 1 2015 通过程序转换进行线性化。 1099.68020兹比尔 桑德拉·阿尔维斯;马里奥弗洛里多 1 2004 事件的类型化语言。 Zbl 1473.68033号 桑德拉·阿尔维斯;萨宾·布罗达;玛丽贝尔·费尔南德斯 1 2015 基于模式的有限匹配计算。 Zbl 1492.68040号 桑德拉·阿尔维斯;Besik Dundua;马里奥弗洛里多;特默尔库西亚 1 2018 类型居住的统一框架。 Zbl 1462.68019号 桑德拉·阿尔维斯;萨宾·布罗达 1 2018 交集类型的结构规则和代数属性。 Zbl 07719825号 桑德拉·阿尔维斯;马里奥弗洛里多 1 2022 交集类型的结构规则和代数属性。 Zbl 07719825号 桑德拉·阿尔维斯;马里奥弗洛里多 1 2022 基于模式的有限匹配计算。 Zbl 1492.68040号 桑德拉·阿尔维斯;Besik Dundua;马里奥弗洛里多;特默尔库西亚 1 2018 类型居住的统一框架。 Zbl 1462.68019号 桑德拉·阿尔维斯;萨宾·布罗达 1 2018 关于类型居住的简短说明：公式树与游戏语义。 Zbl 1332.03003号 阿尔维斯，S。;布罗达，S。 4 2015 基于类别的元模型中的访问控制和义务：基于重写的语义。 Zbl 1457.68027号 桑德拉·阿尔维斯;安纳托利·德吉亚列夫;玛丽贝尔·费尔南德斯 2 2015 紧急管理访问控制策略分析框架。 Zbl 1342.68190号 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯 1 2015 事件的类型化语言。 兹比尔1473.68033 桑德拉·阿尔维斯;萨宾·布罗达;玛丽贝尔·费尔南德斯 1 2015 一种新的图解证明法。 Zbl 1469.03156号 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;伊恩·麦基 2 2011 哥德尔的系统（mathcal T）被重新访问。 Zbl 1191.68154号 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;马里奥弗洛里多;伊恩·麦基 4 2010 线性递归函数。 Zbl 1186.03064号 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;马里奥弗洛里多;伊恩·麦基 4 2007 迭代器类型。 Zbl 1195.03020号 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;马里奥弗洛里多;伊恩·麦基 2 2007 闭合还原策略的威力。 Zbl 1277.03009号 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;弗洛里多，马里奥;伊恩·麦基 2 2007 线性函数的幂。 兹伯利1225.03014 桑德拉·阿尔维斯;玛丽贝尔·费尔南德斯;马里奥弗洛里多;伊恩·麦基 8 2006 lambda演算的弱线性化。 Zbl 1077.68016号 桑德拉·阿尔维斯;马里奥弗洛里多 4 2005 通过程序转换进行线性化。 Zbl 1099.68020号 桑德拉·阿尔维斯;马里奥弗洛里多 1 2004 使用约束处理规则进行类型推断。 Zbl 1268.68042号 桑德拉·阿尔维斯;马里奥弗洛里多 2 2002 所有引用出版物 前5名被引用出版物 全部的 前5名28位作者引用 13 桑德拉·阿尔维斯 7 马里奥弗洛里多 6 玛丽贝尔·费尔南德斯 5 伊恩·麦基 2 萨宾·布罗达 2 丹尼尔·利马·文图拉 1 安基永 1 迈克尔·阿恩特 1 帕特里克·贝洛特 1 Gianluca Curzi 1 瓦莱丽娅·德·佩瓦 1 马塞洛·菲奥雷（Marcelo P.Fiore）。 1 马可·加博阿迪 1 亚历克西斯·盖塞伦 1 塞缪尔·戈麦斯·达席尔瓦 1 迪莉娅·凯斯纳 1 斯文·林杰 1 查尔斯·詹姆斯·格林·摩根 1 卢卡保利尼 1 毛罗·皮科洛 1 戈登·普洛金（Gordon D.Plotkin）。 1 米盖尔·拉莫斯 1 卢卡·罗维斯 1 佐藤信也 1 菲利普·萨维尔 1 弗朗索瓦·雷吉斯·西诺 1 马可·索列里 1 安德烈亚·维佐西 4篇连载文章中引用 5 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 1 逻辑历史与哲学 1 高阶和符号计算 在5个字段中引用 19 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文