亚历克斯·K·辛普森
人员信息
附属: 斯洛文尼亚卢布尔雅那大学 隶属关系(至2015年): 英国爱丁堡大学
其他同名人员
优化列表
2020年–今天
2024 [公元39年] 亚历克斯·辛普森 :
原子鞘逻辑中的等价性和条件独立性。 低收入国家 2024 : 70:1-70:14 [i4] 亚历克斯·辛普森 :
原子鞘逻辑中的等价性和条件独立性。 CoRR公司 abs/2405.11073 ( 2024 ) 2022 [电子3] 弗洛林·马内亚 , 亚历克斯·辛普森 :
第30届EACSL计算机科学逻辑年会,CSL 2022年2月14日至19日,德国哥廷根(虚拟会议)。 LIPIcs公司 216, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2022 ,国际标准图书编号 978-3-95977-218-1 [目录] 2020 [公元24年] 亚历克斯·辛普森 , 尼尔斯·F·W·沃诺内维尔 :
通过代数效应模式实现行为等效。 ACM事务处理。 程序。 语言系统。 42 ( 1 ) : 4:1-4:45 ( 2020 )
2010 – 2019
2019 [电子2] 米科拉伊·博扬奇克 , 亚历克斯·辛普森 :
软件科学和计算结构基础——第22届国际会议,FOSSACS 2019,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2019年,捷克共和国布拉格,2019年4月6日至11日,会议记录。 计算机科学课堂讲稿 11425, 施普林格 2019 ,国际标准图书编号 978-3-030-17126-1 [目录] [i3] 亚历克斯·辛普森 , 尼尔斯·F·W·沃诺内维尔 :
通过代数效应模式实现行为等效。 CoRR公司 abs/1904.08843 ( 2019 ) 2018 [公元23年] 劳拉·麦克唐纳 , 亚历克斯·辛普森 , 索菲·格雷厄姆 , 安娜·舒尔茨 , 贝斯·诺德斯特罗姆 , 皮尤什·杜拉尼 , 费萨尔·梅穆德 , 斯雷拉姆·拉马戈帕兰 :
谷歌搜索与大多数英语国家的黑色素瘤发病率无关。 npj数字。 医学 1 ( 2018 ) [公元38年] 阿利亚姆·洛佩兹 , 亚历克斯·辛普森 :
一般代数效应,特别是组合概率和不确定性的基本操作序数。 CSL公司 2018 : 29:1-29:17 [公元37年] 亚历克斯·辛普森 , 尼尔斯·F·W·沃诺内维尔 :
通过代数效应模式实现行为等效。 员工持股计划 2018 : 300-326 [公元36年] 亚历克斯·辛普森 :
独立性和条件独立性的范畴理论结构。 MFPS公司 2018 : 281-297 2017 [公元22年] 马泰奥·米奥 , 亚历克斯·辛普森 :
Łukasiewiczμ-微积分。 芬丹。 信息学 150 ( 3-4 ) : 317-346 ( 2017 ) [公元35年] 亚历克斯·辛普森 :
概率滑轮和Giry Monad。 CALCO公司 2017 : 1:1-1:6 [公元34年] 亚历克斯·辛普森 :
循环算术与皮亚诺算术等价。 FoSSaCS公司 2017 : 283-300 2016 [公元33年] 尼尔·加尼 , 弗雷德里克·诺德瓦尔·福斯伯格 , 亚历克斯·辛普森 :
综合参数多态性:范畴模型和类型理论。 FoSSaCS公司 2016 : 3-19 2015 [i2] 马泰奥·米奥 , 亚历克斯·K·辛普森 :
Łukasiewiczμ-微积分。 CoRR公司 abs/1510.00797 ( 2015 ) 2014 [公元21年] 史蒂文·阿沃迪 , 卡斯滕·布茨 , 亚历克斯·辛普森 , 托马斯·斯特里彻 :
关于一阶集合理论、拓扑和类的类别。 Ann.纯粹应用。 日志。 165 ( 2 ) : 428-502 ( 2014 ) [j20] 杰夫·艾格 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
丰富的效果演算:语法和语义。 J.日志。 计算。 24 ( 三 ) : 615-654 ( 2014 ) [公元32年] 马丁·霍泽尔·埃斯卡多 , 亚历克斯·辛普森 :
类型理论中实数的抽象数据类型。 RTA-薄层色谱分析 2014 : 208-223 2013 [公元31年] 马泰奥·米奥 , 亚历克斯·辛普森 :
概率并发过程组合验证的证明系统。 FoSSaCS公司 2013 : 161-176 [c30] 亚历克斯·辛普森 :
类别中的条件独立性。 墨西哥玉米饼 2013 : 9 [公元29年] 马泰奥·米奥 , 亚历克斯·辛普森 :
Łukasiewicz mu-Calculus。 菲莎国际学院 2013 : 87-104 [电子1] 亚历克斯·辛普森 :
2010年7月10日在英国苏格兰爱丁堡举行的程序逻辑证明系统国际研讨会,PSPL 2010。 EPiC计算系列 12, Easy椅子 2013 [目录] 2012 [公元19年] 亚历克斯·K·辛普森 , 托马斯·斯特里彻 :
可数和的构造拓扑作为构造集理论的模型。 Ann.纯粹应用。 日志。 163 ( 10 ) : 1419-1436 ( 2012 ) [公元18年] 亚历克斯·辛普森 :
测量、随机性和子位置。 Ann.纯粹应用。 日志。 163 ( 11 ) : 1642-1659 ( 2012 ) [公元17年] 杰夫·艾格 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
丰富效果演算中的线性使用CPS翻译。 日志。 方法计算。 科学。 8 ( 4 ) ( 2012 ) 2011 [公元16年] 詹姆斯·布罗瑟斯顿 , 亚历克斯·辛普森 :
归纳和无限下降的序贯演算。 J.日志。 计算。 21 ( 6 ) : 1177-1216 ( 2011 ) 2010 [公元28年] 杰夫·艾格 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
强化效应演算中的线性连续体。 FoSSaCS公司 2010 : 18-32 [c27] 帕特里夏·约翰 , 亚历克斯·辛普森 , Janis Voigtländer公司 :
代数效应的通用操作元理论。 低收入国家 2010 : 209-218
2000 – 2009
2009 [公元15年] 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
计算效果的关系参数。 日志。 方法计算。 科学。 5 ( 三 ) ( 2009 ) [公元26年] 杰夫·艾格 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
用线性类型丰富效果微积分。 CSL公司 2009 : 240-254 [公元25年] 亚历克斯·辛普森 :
计算效果的线性类型。 POPL公司 2009 : 301 2007 [公元14年] 史蒂文·阿沃迪 , 卡斯滕·布茨 , 亚历克斯·辛普森 , 托马斯·斯特里彻 :
关联一阶集合理论和基本拓扑。 牛市。 符号。 日志。 13 ( 三 ) : 340-358 ( 2007 ) [j13] 亚历克斯·辛普森 :
Fernández Maribel的编程语言和操作语义,King’s College Publications,2004,ISBN 0954300637。 J.功能。 程序。 17 ( 三 ) : 424-426 ( 2007 ) [公元12年] 马蒂亚斯·施罗德 , 亚历克斯·辛普森 :
序列空间可数乘积的两个保持结果。 数学。 结构。 计算。 科学。 17 ( 1 ) : 161-172 ( 2007 ) [公元24年] 詹姆斯·布罗瑟斯顿 , 亚历克斯·辛普森 :
归纳和无限下降的完整序贯演算。 低收入国家 2007 : 51-62 【c23】 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
计算效果的关系参数。 低收入国家 2007 : 346-355 [公元22年] 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
带效应的参数多态逻辑。 类型 2007 : 142-156 【c21】 英戈·巴滕菲尔德 , 马蒂亚斯·施罗德 , 亚历克斯·辛普森 :
方便的域类别。 计算、意义和逻辑 2007 : 69-99 [公元20年] 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
将控制的关系参数视为计算效果。 MFPS公司 2007 : 295-312 2006 [公元11年] 马可·基克 , 约翰·鲍尔 , 亚历克斯·辛普森 :
定时进程的Coalgebraic语义。 Inf.计算。 204 ( 4 ) : 588-609 ( 2006 ) [公元10年] 马蒂亚斯·施罗德 , 亚历克斯·辛普森 :
使用概率过程表示概率度量。 J.复杂。 22 ( 6 ) : 768-782 ( 2006 ) [公元9年] 英戈·巴滕菲尔德 , 马蒂亚斯·施罗德 , 亚历克斯·辛普森 :
紧凑生成的领域理论。 数学。 结构。 计算。 科学。 16 ( 2 ) : 141-161 ( 2006 ) [i1] 英戈·巴滕菲尔德 , 马蒂亚斯·施罗德 , 亚历克斯·辛普森 :
一种方便的域类别。 模拟空间、时间和因果关系的计算结构 2006 2005 [第19条] 马蒂亚斯·施罗德 , 亚历克斯·K·辛普森 :
使用概率过程表示概率度量。 CCA公司 2005 : 211-226 [第18条] 亚历克斯·K·辛普森 :
线性Lambda-Calculus的简化及其在操作语义中的应用。 区域贸易协定 2005 : 219-234 [c17] 马蒂亚斯·施罗德 , 亚历克斯·辛普森 :
概率观察和评估:(扩展摘要)。 MFPS公司 2005 : 605-615 [第1页] 亚历克斯·辛普森 :
建构集理论及其范畴理论模型。 从集合和类型到拓扑和分析 2005 2004 [j8] 亚历克斯·K·辛普森 :
直觉集理论模型中递归类型的计算充分性。 Ann.纯粹应用。 日志。 130 ( 1-3 ) : 207-275 ( 2004 ) [j7] 亚历克斯·K·辛普森 :
过程验证的序列演算:任意GSOS的Hennessy-Milner逻辑。 J.日志。 代数方法课程。 60-61 : 287-322 ( 2004 ) [j6] 安德烈·鲍尔 , 亚历克斯·辛普森 :
两个构造性嵌入扩张定理及其在连续性原理和Banach-Mazur可计算性中的应用。 数学。 日志。 问:。 50 ( 4-5 ) : 351-369 ( 2004 ) 2003 [j5] 安娜·布卡洛 , 卡斯滕·福曼 , 亚历克斯·K·辛普森 :
提升单子的等式概念。 西奥。 计算。 科学。 294 ( 1/2 ) : 31-60 ( 2003 ) 2002 [j4] 马蒂亚斯·梅尼 , 亚历克斯·K·辛普森 :
基于可数的均衡空间的拓扑子类和极限空间子类。 数学。 结构。 计算。 科学。 12 ( 6 ) : 739-770 ( 2002 ) [第16条] 乌尔里希·舍普 , 亚历克斯·K·辛普森 :
使用显式近似验证时间属性:无上下文过程的完整性。 FoSSaCS公司 2002 : 372-386 [第15条] 安德烈·鲍尔 , 马丁·霍泽尔·埃斯卡多 , 亚历克斯·K·辛普森 :
比较精确实数计算的函数范式。 ICALP公司 2002 : 488-500 [第14条] 亚历克斯·K·辛普森 :
直觉集理论模型中递归类型的计算充分性。 低收入国家 2002 : 287-298 2001 [第13条] 马丁·霍泽尔·埃斯卡多 , 亚历克斯·K·辛普森 :
闭欧几里德区间的一个普遍刻画。 低收入国家 2001 : 115-125 2000 [j3] 贾普·范·奥斯滕 , 亚历克斯·K·辛普森 :
合成域理论中的公理和(反例)示例。 Ann.纯粹应用。 日志。 104 ( 1-3 ) : 233-278 ( 2000 ) [第12条] 亚历克斯·K·辛普森 , 戈登·普洛金 :
分类定点算子的完备公理。 低收入国家 2000 : 30-41
1990 – 1999
1999 [第11条] 亚历克斯·K·辛普森 :
类别的基本公理。 低收入国家 1999 : 77-85 [第10条] 马塞洛·P·菲奥雷 , 亚历克斯·K·辛普森 :
Lambda通过Grothendieck逻辑关系定义和。 薄层色谱分析 1999 : 147-161 【c9】 马蒂亚斯·梅尼 , 亚历克斯·K·辛普森 :
基于可数的均衡空间的最大拓扑子范畴。 MFPS公司 1999 : 375-398 【c8】 安娜·布卡洛 , 卡斯滕·福曼 , 亚历克斯·K·辛普森 :
赤道升降Monads。 CTCS公司 1999 : 22 1998 【c7】 亚历克斯·K·辛普森 :
基本地形的计算充分性。 CSL公司 1998 : 323-342 【c6】 亚历克斯·K·辛普森 :
精确实函数的惰性函数算法。 MFCS公司 1998 : 456-464 【c5】 贾普·范·奥斯滕 , 亚历克斯·K·辛普森 :
合成域理论中的一些公理化结果。 域研讨会 1998 : 175 1997 [注2] 约翰·朗利 , 亚历克斯·K·辛普森 :
可实现模型中领域理论的统一方法。 数学。 结构。 计算。 科学。 7 ( 5 ) : 469-505 ( 1997 ) 1995 【c4】 亚历克斯·K·辛普森 :
CPO实现的一类偏序集中的凸幂域。 范畴理论与计算机科学 1995 : 117-145 【c3】 亚历克斯·K·辛普森 :
通过删减实现组合:任意GSOS的轩尼诗-米尔纳逻辑。 低收入国家 1995 : 420-430 [c2] 亚历克斯·K·辛普森 :
简单型lambda-calculus的范畴完备性结果。 薄层色谱分析 1995 : 414-427 1994 【b1】 亚历克斯·K·辛普森 :
直觉模态逻辑的证明理论和语义。 英国爱丁堡大学, 1994 1993 [j1] 亚历克斯·K·辛普森 :
用不饱和性刻画租定点算子。 西奥。 计算。 科学。 118 ( 2 ) : 301-314 ( 1993 ) 1992 【c1】 福斯托·金奇利亚 , 卢西亚诺·塞拉菲尼 , 亚历克斯·K·辛普森 :
层次元逻辑:直觉、证明理论和语义学。 元 1992 : 235-249