编辑配置文件（在新选项卡中打开） 高府樱井 合著者距离 作者ID： 樱井塔卡福米 发布日期： 高府樱井 主页： http://www.math.s.chiba-u.ac.jp/~樱井/index-e.html 已编制索引的文档： 10出版物自1984年以来 1进一步贡献 合著者： 8位合著者具有8联合出版物 217位合作作者 全部的 前5名合著者 2 单作者的 6 佐藤真彦 三 Yukiyoshi县Kameyama 2 罗德·M·伯斯托尔。 1 Naohisa Funaki 1 Masami Hagiya 1 Atsushi Igarashi 1 肯塔罗州菊池 1 Y.-o.松野。 1 F.纳卢斯。 1 兰迪·波拉克 1 赫尔穆特·施维赫滕贝格 全部的 前5名系列 1 新一代计算 1 国际计算机科学基础杂志 1 Indagationes Mathematicae公司。新系列 1 组合数学研究所公报及其应用 1 函数与逻辑程序设计杂志 1 计算机基础理论 1 RIMS Kokyuroku公司 全部的 前5名领域 8 数学逻辑和基础（03-XX） 6 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 数论（11-XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用24中的次19文件 引用人▼ 年份▼ 基于归纳定义的逻辑编程基础。 Zbl 0592.68032号 Masami Hagiya；高府樱井 5 1984 元变量的微积分。 Zbl 1116.03321号 佐藤真彦；高府樱井；Yukiyoshi县Kameyama；Atsushi Igarashi 5 2003 通过映射查看\（{\lambda}\）-术语。 Zbl 1359.03016号 佐藤真彦；兰迪·波拉克；赫尔穆特·施维赫滕贝格；高府樱井 三 2013 具有一流环境的简单类型上下文演算。 Zbl 1037.68040号 佐藤真彦；高府樱井；Yukiyoshi县Kameyama 三 2002 显式环境。 Zbl 1001.03014号 佐藤真彦；高府樱井；布斯托尔，罗德 三 2001 显式环境。（扩展摘要）。 Zbl 0931.03028号 佐藤真彦；高府樱井；布斯托尔，罗德 2 1999 \（lambda\mu\）-演算的交集和并集类型的转换。 Zbl 1453.68037号 肯塔罗州菊池；高府樱井 2 2014 具有一流环境的简单类型上下文演算。 Zbl 0979.03014号 佐藤真彦；高府樱井；Yukiyoshi县Kameyama 1 2001 （lambda\mu）-演算的交集和并集类型的转换。 Zbl 1453.68037号 肯塔罗州菊池；高府樱井 2 2014 通过映射查看\（{\lambda}\）-术语。 Zbl 1359.03016号 佐藤真彦；兰迪·波拉克；赫尔穆特·施维赫滕贝格；高府樱井 三 2013 元变量的微积分。 Zbl 1116.03321号 佐藤真彦；高府樱井；Yukiyoshi县Kameyama；Atsushi Igarashi 5 2003 具有一流环境的简单类型上下文演算。 Zbl 1037.68040号 佐藤真彦；高府樱井；Yukiyoshi县Kameyama 三 2002 显式环境。 Zbl 1001.03014号 佐藤真彦；高府樱井；布斯托尔，罗德 三 2001 具有一流环境的简单类型上下文演算。 Zbl 0979.03014号 佐藤真彦；高府樱井；Yukiyoshi县Kameyama 1 2001 显式环境。（扩展摘要）。 Zbl 0931.03028号 佐藤真彦；高府樱井；布斯托尔，罗德 2 1999 基于归纳定义的逻辑编程基础。 Zbl 0592.68032号 Masami Hagiya；高府樱井 5 1984 所有引用出版物 前5名被引用出版物 全部的 前5名30位作者引用 三 默多克·詹姆斯·加贝 2 埃内斯托·科佩罗 2 迪莉娅·凯斯纳 2 诺拉·萨兹 2 阿尔瓦罗·塔西斯特罗 2 皮埃尔小瓶 1 弗兰兹·阿赫尔曼 1 佩妮·安德森 1 David A.Basin。 1 安娜·波夫 1 可口、蒂埃里 1 彼得·戴比杰 1 玛丽贝尔·费尔南德斯 1 马科托·哈马纳 1 桥本，Masatomo 1 杰拉德·P·休特。 1 Atsushi Igarashi 1 O.A.伊莱切娃。 1 圣埃芬·让·埃里克·伦格兰德 1 康诺·托马斯·麦克布莱德 1 奥斯卡·M·尼尔斯特拉斯。 1 Atsushi Ohori 1 碧姬·品特卡 1 安德鲁·皮特斯（Andrew M.Pitts）。 1 兰迪·波拉克 1 高府樱井 1 佐藤真彦 1 赫尔穆特·施维滕贝格 1 津田，武士 1 城市，基督教 全部的 前5名9篇连载文章中引用 三 理论计算机科学 2 符号计算杂志 1 信息与计算 1 计算的形式方面 1 Indagationes Mathematicae公司。新系列 1 控制论与系统分析 1 高阶和符号计算 1 逻辑程序设计的理论与实践 1 计算机科学中的逻辑方法 在4个字段中引用 15 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文