编辑配置文件（在新选项卡中打开） 托马斯·斯特里彻 合著者距离 作者ID： 斯特里切·托马斯 发布日期： 托马斯·斯特里彻;斯特里彻，T。;斯特里彻，Th。 更多。。。较少的 外部链接： MGP公司·维基数据·ID参考·论文.fr 已编制索引的文档： 61出版物自1985年以来，包括3本书和2个附加arXiv预打印 合著者： 34位合著者具有43联合出版物 640位合作作者 全部的 前5名合著者 18 单作者的 7 罗伊斯，伯恩哈德 5 马丁·霍夫曼 4 Marta C.邦吉。 4 Hötzel Escardó，马汀 4 Mamuka A.Jibladze。 3 乔纳森·R·芬克。 3 克劳斯·凯梅尔 3 亚历克斯·K·辛普森。 2 史蒂夫·阿沃迪 2 曼弗雷德·布罗伊 2 卡斯滕·布茨 2 彼得·利兹 2 萨缪尔·马斯基奥 2 Rosenbusch，Artus博士。 2 朱塞佩·罗索里尼 1 托尔斯滕·阿滕柯奇 1 英戈·巴滕菲尔德 1 Jean Benabou 1 雅各布·埃梅内格 1 弗雷、乔纳斯 1 理查德·加纳 1 加里·弗雷德·格伦赫奇 1 石原、Hajime 1 巴特·雅各布斯 1 乌尔里希·威廉·科伦巴赫 1 托拜厄斯·Löw 1 玛丽亚·艾米莉亚·梅耶蒂 1 卢卡·梅西蒂 1 尤金尼奥·莫吉 1 艾克·诺依曼 1 保罗·奥利瓦 1 马丁，帕普 1 雅普·范·奥斯汀 1 乔纳森·温伯格 全部的 前5名系列 9 MSCS公司。计算机科学中的数学结构 7 纯逻辑与应用逻辑年鉴 4 理论计算机科学 3 范畴的理论与应用 3 计算机科学中的逻辑方法 2 数学逻辑档案 2 数学逻辑季刊（MLQ） 2 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 数学进展 1 纯粹与应用代数杂志 1 国际并行程序设计杂志 1 信息与计算 1 应用的分类结构 1 格鲁吉亚数学期刊 1 函数编程杂志 1 符号逻辑公报 1 计算机基础理论 1 应用逻辑杂志 全部的 前5名领域 42 数学逻辑和基础（03-XX） 28 范畴理论；同调代数（18-XX） 28 计算机科学（68至XX） 7 阶、格、有序代数结构（06-XX） 3 一般拓扑结构（54至XX） 2 代数拓扑（55-XX） 1 凸和离散几何（52至XX） 1 量子理论（81-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 44出版物被引用356中的次303文件 引用人▼ 年份▼ 类型理论的群系解释。 Zbl 0930.03089号 马丁·霍夫曼;托马斯·斯特里彻 67 1998 类型理论的语义学。正确性、完整性和独立性结果。引言由马丁·威辛撰写。 Zbl 0790.68068号 托马斯·斯特里彻 53 1991 经典逻辑、延续语义和抽象机器。 Zbl 0928.68074号 斯特里彻，Th。;再利用，B。 30 1998 函数编程的领域理论基础。 Zbl 1111.68020号 托马斯·斯特里彻 24 2006 对无还原标准化证明。 Zbl 1502.03019号 托尔斯滕·阿滕柯奇;马丁·霍夫曼;托马斯·斯特里彻 11 1995 结构演算范畴语义的正确性和完整性。 Zbl 0684.03025号 托马斯·斯特里彻 10 1988 肖恩菲尔德是科里文之后的哥德尔。 Zbl 1154.03036号 托马斯·斯特里彻;乌尔里奇·科伦巴赫 10 2007 关于一阶集合理论、拓扑和类的类别。 Zbl 1323.03073号 史蒂夫·阿沃迪;卡斯滕·布茨;亚历克斯·辛普森;托马斯·斯特里彻 10 2014 拓扑中的普遍性。 Zbl 1092.03038号 托马斯·斯特里彻 10 2005 最低限度基础的内涵层次与丘奇的论点和选择公理的一致性。 兹比尔1522.03323 石原，Hajime;玛丽亚·艾米莉亚·梅埃蒂;萨缪尔·马斯基奥;托马斯·斯特里彻 9 2018 忠诚意味着非类型化。 Zbl 1001.03013号 彼得·利兹;托马斯·斯特里彻 9 2002 关于Krivine对经典二阶算法的可实现性解释。 Zbl 1169.03046号 保罗·奥利瓦;托马斯·斯特里彻 9 2008 关于一阶集合理论和基本拓扑的。 Zbl 1152.03043号 史蒂夫·阿沃迪;卡斯滕·布茨;亚历克斯·辛普森;托马斯·斯特里彻 8 2007 从范畴的角度看克里文的经典可实现性。 Zbl 1326.03083号 托马斯·斯特里彻 7 2013 实数计算的区间模型的非连续性。 Zbl 1067.68070号 马丁·埃斯卡多;马丁·霍夫曼;托马斯·斯特里彻 7 2004 一般综合领域理论——一种逻辑方法。 Zbl 1018.03051号 罗伊斯，伯恩哈德;托马斯·斯特里彻 7 1999 （lambda_\mu）-演算连续模型的完备性。 Zbl 1096.03011号 马丁·霍夫曼;托马斯·斯特里彻 7 2002 具有递归类型、并行阶和（存在）的PCF的一个普适性定理。 Zbl 0802.68075号 托马斯·斯特里彻 6 1994 部分实线上的归纳和递归以及对real PCF的应用。 Zbl 0912.68123号 Hötzel Escardó，马汀;托马斯·斯特里彻 6 1999 单形集合中的类型理论模型。简要介绍沃沃德斯基的同伦类型理论。 Zbl 1335.03010号 斯特里彻，T。 6 2014 基于可数空间的商在清醒化下是不封闭的。 兹比尔1099.0605 加里·格伦赫奇;托马斯·斯特里彻 6 2006 纯结构微积分中归纳原理和选择公理的独立性。 兹比尔0762.03008 托马斯·斯特里彻 4 1992 命令式概率非确定性语言的直接和谓词转换器部分正确性语义的关联。 Zbl 1226.68040号 凯梅尔，K。;罗森布施，A。;斯特里彻，T。 3 2011 域理论中的观测诱导代数。 Zbl 1342.68192号 英戈·巴滕菲尔德;克劳斯·凯梅尔;托马斯·斯特里彻 3 2014 在概率非确定性语言的状态和谓词变换语义之间进行中介的Minkowski型对偶。 Zbl 1167.68034号 凯梅尔，K。;罗森布施，A。;斯特里彻，T。 3 2009 对象计算的语义和逻辑。 Zbl 1072.68064号 罗伊斯，伯恩哈德;托马斯·斯特里彻 3 2004 分布代数与对偶。 Zbl 0971.18002号 玛尔塔·邦吉;乔纳森·芬克;马穆卡·吉卜拉泽;托马斯·斯特里彻 2 2000 分布式系统的视图。 Zbl 0626.68012号 曼弗雷德·布罗伊;托马斯·斯特里彻 2 1987 可实现性模型反驳了石原的有界性原则。 Zbl 1251.03088号 彼得·利兹;托马斯·斯特里彻 2 2012 由非类型lambda演算的稳定模型产生的经典可实现性模型。 Zbl 1459.03017号 托马斯·斯特里彻 2 2017 非独立类型理论的相关模型。 Zbl 0794.03096号 巴特·雅各布斯;尤金尼奥·莫吉;托马斯·斯特里彻 2 1991 比较高级计算模型。 Zbl 0958.68063号 Rosolini，G。;斯特里彻，Th。 2 1999 一般综合领域理论——一种逻辑方法。（扩展摘要）。 兹比尔0881.18002 罗伊斯，B。;斯特里彻，Th。 2 1997 充满的归纳结构。 Zbl 0933.03032号 托马斯·斯特里彻 2 1999 关于高阶存储的Hoare逻辑。 Zbl 1081.68577号 罗伊斯，伯恩哈德;托马斯·斯特里彻 2 2005 实现性良好。 Zbl 1112.03058号 M.霍夫曼。;van Oosten，J。;斯特里彻，T。 2 2006 立方体集合内的单纯形集合。 Zbl 1467.03007号 托马斯·斯特里彻;乔纳森·温伯格 1 2021 共享资源仲裁的规范和设计。 Zbl 0741.68034号 曼弗雷德·布罗伊;托马斯·斯特里彻 1 1991 依赖和独立会导致依赖类型的（非独立）计算。 Zbl 0749.03054号 托马斯·斯特里彻 1 1992 层拓扑中IZF的强制。 Zbl 1168.03053号 托马斯·斯特里彻 1 2009 局部布尔域中模型的普遍性结果。 Zbl 1225.68106号 托拜厄斯·Löw;托马斯·斯特里彻 1 2006 直觉集理论在嵌套可实现拓扑的子主题中的模型。 Zbl 1371.03103号 萨缪尔·马斯基奥;托马斯·斯特里彻 1 2015 依赖类型计算的独立结果。 Zbl 1496.03266号 托马斯·斯特里彻 1 1989 Martin-Löf宇宙的内在拓扑。 Zbl 1402.03022号 Hötzel Escardó，马汀;托马斯·斯特里彻 1 2016 立方体集合内的单纯形集合。 Zbl 1467.03007号 托马斯·斯特里彻;乔纳森·温伯格 1 2021 最低限度基础的内涵层次与丘奇的论点和选择公理的一致性。 Zbl 1522.03323号 石原，Hajime;玛丽亚·艾米莉亚·梅耶蒂;萨缪尔·马斯基奥;托马斯·斯特里彻 9 2018 由非类型lambda演算的稳定模型产生的经典可实现性模型。 Zbl 1459.03017号 托马斯·斯特里彻 2 2017 Martin-Löf宇宙的内在拓扑。 Zbl 1402.03022号 Hötzel Escardó，马汀;托马斯·斯特里彻 1 2016 直觉集理论在嵌套可实现拓扑的子主题中的模型。 Zbl 1371.03103号 萨缪尔·马斯基奥;托马斯·斯特里彻 1 2015 关于一阶集合理论、拓扑和类的类别。 Zbl 1323.03073号 史蒂夫·阿沃迪;卡斯滕·布茨;亚历克斯·辛普森;托马斯·斯特里彻 10 2014 单形集合中的类型理论模型。简要介绍沃沃德斯基的同伦类型理论。 Zbl 1335.03010号 斯特里彻，T。 6 2014 域理论中的观测诱导代数。 Zbl 1342.68192号 英戈·巴滕菲尔德;克劳斯·凯梅尔;托马斯·斯特里彻 3 2014 从范畴的角度看克里文的经典可实现性。 Zbl 1326.03083号 托马斯·斯特里彻 7 2013 可实现性模型反驳了石原的有界性原则。 Zbl 1251.03088号 彼得·利兹;托马斯·斯特里彻 2 2012 将命令式概率非确定性语言的直接正确性语义和谓词变换部分正确性语义联系起来。 Zbl 1226.68040号 凯梅尔，K。;罗森布施，A。;斯特里彻，T。 3 2011 在概率非确定性语言的状态和谓词变换语义之间进行中介的Minkowski型对偶。 兹比尔1167.68034 凯梅尔，K。;罗森布施，A。;斯特里彻，T。 3 2009 在sheaf拓扑中强制执行IZF。 Zbl 1168.03053号 托马斯·斯特里彻 1 2009 关于Krivine对经典二阶算法的可实现性解释。 Zbl 1169.03046号 保罗·奥利瓦;托马斯·斯特里彻 9 2008 肖恩菲尔德是科里文之后的哥德尔。 Zbl 1154.03036号 托马斯·斯特里彻;乌尔里奇·科伦巴赫 10 2007 关于一阶集合理论和基本拓扑的。 Zbl 1152.03043号 史蒂夫·阿沃迪;卡斯滕·布茨;亚历克斯·辛普森;托马斯·斯特里彻 8 2007 函数编程的领域理论基础。 Zbl 1111.68020号 托马斯·斯特里彻 24 2006 基于可数空间的商在清醒化下是不封闭的。 邮编1099.06005 加里·格伦赫奇;托马斯·斯特里彻 6 2006 实现性良好。 Zbl 1112.03058号 M.霍夫曼。;van Oosten，J。;斯特里彻，T。 2 2006 局部布尔域中模型的普遍性结果。 Zbl 1225.68106号 托拜厄斯·Löw;托马斯·斯特里彻 1 2006 地形中的宇宙。 Zbl 1092.03038号 托马斯·斯特里彻 10 2005 关于高阶存储的Hoare逻辑。 Zbl 1081.68577号 罗伊斯，伯恩哈德;托马斯·斯特里彻 2 2005 实数计算的区间模型的非连续性。 Zbl 1067.68070号 马丁·埃斯卡多;马丁·霍夫曼;托马斯·斯特里彻 7 2004 对象计算的语义和逻辑。 兹比尔1072.68064 罗伊斯，伯恩哈德;托马斯·斯特里彻 3 2004 忠诚意味着非类型化。 Zbl 1001.03013号 彼得·利茨;托马斯·斯特里彻 9 2002 \（\lambda_\mu\）-微积分的连续模型的完备性。 Zbl 1096.03011号 马丁·霍夫曼;托马斯·斯特里彻 7 2002 分布代数与对偶。 Zbl 0971.18002号 玛尔塔·邦吉;乔纳森·芬克;马穆卡·吉卜拉泽;托马斯·斯特里彻 2 2000 一般综合领域理论——一种逻辑方法。 Zbl 1018.03051号 罗伊斯，伯恩哈德;托马斯·斯特里彻 7 1999 部分实线上的归纳和递归以及对real PCF的应用。 Zbl 0912.68123号 Hötzel Escardó，马汀;托马斯·斯特里彻 6 1999 比较高级计算模型。 Zbl 0958.68063号 罗索里尼，G。;斯特里彻，Th。 2 1999 充满的归纳结构。 Zbl 0933.03032号 托马斯·斯特里彻 2 1999 类型理论的群系解释。 Zbl 0930.03089号 马丁·霍夫曼;托马斯·斯特里彻 67 1998 经典逻辑、延续语义和抽象机器。 Zbl 0928.68074号 斯特里彻，Th。;再利用，B。 30 1998 一般综合领域理论——一种逻辑方法。（扩展摘要）。 Zbl 0881.18002号 再利用，B。;斯特里彻，Th。 2 1997 对无还原标准化证明。 Zbl 1502.03019号 托尔斯滕·阿滕柯奇;马丁·霍夫曼;托马斯·斯特里彻 11 1995 具有递归类型、并行或和\（\存在\）的PCF的一个普适性定理。 Zbl 0802.68075号 托马斯·斯特里彻 6 1994 纯结构微积分中归纳原理和选择公理的独立性。 兹比尔0762.03008 托马斯·斯特里彻 4 1992 依赖型结石的依赖性和独立性结果。 Zbl 0749.03054号 托马斯·斯特里彻 1 1992 类型理论的语义学。正确性、完整性和独立性结果。引言由马丁·威辛撰写。 Zbl 0790.68068号 托马斯·斯特里彻 53 1991 非独立类型理论的相关模型。 Zbl 0794.03096号 巴特·雅各布斯;尤金尼奥·莫吉;托马斯·斯特里彻 2 1991 共享资源仲裁的规范和设计。 Zbl 0741.68034号 曼弗雷德·布罗伊;托马斯·斯特里彻 1 1991 依赖类型计算的独立结果。 Zbl 1496.03266号 托马斯·斯特里彻 1 1989 结构演算范畴语义的正确性和完整性。 Zbl 0684.03025号 托马斯·斯特里彻 10 1988 分布式系统的视图。 Zbl 0626.68012号 曼弗雷德·布罗伊;托马斯·斯特里彻 2 1987 所有引用出版物 前5名被引用出版物 全部的 前5名326位作者引用 19 托马斯·斯特里彻 8 史蒂夫·阿沃迪 8 Hötzel Escardó，马汀 8 玛丽亚·艾米莉亚·梅埃蒂 7 托尔斯滕·阿滕柯奇 7 可口、蒂埃里 7 萨缪尔·马斯基奥 6 彼得·勒法努·卢姆斯代恩 6 安德鲁·皮特斯（Andrew M.Pitts）。 6 朱塞佩·罗索里尼 6 亚历克斯·K·辛普森。 5 本诺·范登伯格 5 沃伦、迈克尔·奥尔顿 4 英戈·巴滕菲尔德 4 尼古拉·甘比诺 4 克劳斯·凯梅尔 4 乌尔里希·威廉·科伦巴赫 4 莱维，保罗·布莱恩 4 亚历山大·米克尔 4 迈克尔·拉特扬 4 乔纳森·斯特林 4 弗拉基米尔·阿列克桑德罗维奇 3 安德烈亚斯·阿贝尔（Andreas M.Abel）。 3 阿伦斯，贝内迪克特 3 纪尧姆·阿拉伊斯 3 托马斯·安伯雷 3 卡洛·安吉利 3 乌尔里希·伯杰 3 乌戈·德利古罗 3 彼得·戴比杰 3 沃尔特·里卡多·费雷尔·桑托斯 3 弗雷、乔纳斯 3 丹·弗鲁明 3 藤田，健毅 3 毛里西奥·吉列尔莫 3 布里斯·哈利米 3 罗伯特·哈珀 3 彼得·霍夫斯特拉（Pieter J.W.Hofstra）。 3 西蒙·胡贝尔 3 石原、Hajime 3 巴特·雅各布斯 3 安布罗斯·卡波西 3 Krzysztof卡普尔金 3 安斯滕·默奇·克莱夫 3 奥克塔维奥·马勒贝 3 马西亚尔·罗梅罗、何塞·雷蒙多 3 Moerdijk，比如 3 莫格尔贝里，拉斯穆斯·埃杰勒斯 3 伊恩·奥尔顿 3 埃里克·帕尔姆格伦 3 碧姬·品特卡 3 罗伊斯，伯恩哈德 3 克里斯蒂安·萨特勒 3 马蒂亚斯·施罗德 3 Michael A.舒尔曼。 3 范德维德，尼尔斯 3 Niels F.W.Voorneveld。 2 丹尼尔·艾哈曼 2 泽纳·M·阿里奥拉。 2 安德烈·鲍尔 2 Marta C.邦吉。 2 Samuel R.巴斯。 2 詹姆斯·查普曼（James T.E.Chapman）。 2 皮埃尔·卢伊斯·居里 2 丹尼尔森，尼尔斯·安德斯 2 彼得罗·迪·贾南托尼奥 2 雅各布·埃梅内格 2 菲奥雷，马塞洛·P。 2 Richard加纳 2 尼尔·加尼 2 Healfdene戈根 2 丹尼尔·格拉泽 2 雨果·赫贝林 2 罗莎莉，伊姆霍夫 2 Mamuka A.Jibladze。 2 约阿希姆·科克 2 科瓦奇，安德拉斯 2 克里斯蒂安森，拉尔斯 2 李庆国 2 丹尼尔·李卡塔（Daniel R.Licata）。 2 约翰·朗利。 2 罗朝晖 2 马可·马格西 2 乔里克·曼德梅克 2 拉尔夫·马提斯 2 康诺·托马斯·麦克布莱德 2 马蒂亚斯·梅尼 2 M.Andrew Moshier 2 法比奥·帕斯夸利 2 马尔科·帕维奥蒂 2 Rosenbusch，Artus博士。 2 弗拉基米尔·于萨佐诺夫。 2 施温哈默（Jan Schwinghammer） 2 托马斯·塞勒 2 菲利波·塞斯蒂尼 2 尼古拉斯·塔巴鲁 2 Hideki Tsuiki 2 上村，太极 2 范·贝克尔，斯特芬 2 尼科洛·维尔特里 …还有226位作者 全部的 前5名53篇连载文章中引用 39 纯逻辑与应用逻辑年鉴 32 MSCS公司。计算机科学中的数学结构 21 理论计算机科学 15 计算机科学中的逻辑方法 12 信息与计算 9 函数编程杂志 6 符号逻辑杂志 5 纯粹与应用代数杂志 5 数学逻辑档案 5 范畴的理论与应用 4 Indagationes Mathematicae公司。新系列 4 高阶和符号计算 3 Studia Logica公司 3 应用逻辑杂志 2 数学进展 2 美国数学学会会刊 2 自动推理杂志 2 计算系统理论 2 逻辑与代数程序设计杂志 2 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 2 Oberwolfach报告 1 信息学学报 1 信息处理信件 1 数学物理中的字母 1 剑桥哲学学会数学进展杂志 1 代数普遍性 1 《伦敦数学学会通报》 1 数学出版物 1 伦敦数学学会杂志。第二系列 1 数学年刊 1 合成 1 拓扑及其应用 1 数学论坛 1 美国数学学会公报。新系列 1 图卢兹科学学院年鉴。数学题。塞里六世 1 图表 1 《数理逻辑季刊》 1 符号逻辑公报 1 托波伊 1 美国医学会杂志 1 欧洲数学学会杂志（JEMS） 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 ACM计算逻辑事务 1 地中海数学杂志 1 物理学基础 1 同伦及相关结构杂志 1 逻辑与分析杂志 1 符号逻辑述评 1 可计算性 1 程序设计中的逻辑和代数方法杂志 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 1 范畴和一般代数结构及其应用 全部的 前5名19个领域引用 211 数学逻辑和基础（03-XX） 144 计算机科学（68至XX） 97 范畴理论；同调代数（18-XX） 36 代数拓扑（55-XX） 21 阶、格、有序代数结构（06-XX） 10 一般拓扑结构（54至XX） 6 一般性和全局性主题；集合（00-XX） 4 量子理论（81-XX） 2 一般代数系统（08-XX） 2 群论与推广（20-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 测量和集成（28-XX） 1 算子理论（47-XX） 1 凸和离散几何（52至XX） 1 概率论与随机过程（60-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.