亚历山大·米克尔
人员信息
优化列表
2020年–今天
2023 [第13条] 萨缪尔·马斯基奥 , 亚历山大·米克尔 :
集合论的隐含模型。 MFPS公司 2023 [i3] 吉尔斯·道克 , 亚历山大·米克尔 :
相对规范化。 CoRR公司 abs/2310.20248 ( 2023 ) [i2] 吉尔斯·道克 , 亚历山大·米克尔 :
Zermelo集理论的截消。 CoRR公司 abs/2310.20253 ( 2023 ) 2020 [j6] 亚历山大·米克尔 :
关联代数:可实现性和强制的新基础。 数学。 结构。 计算。 科学。 30 ( 5 ) : 458-510 ( 2020 )
2010 – 2019
2019 [第12条] 亚历杭德罗·迪亚斯·卡洛 , 毛里西奥·吉勒莫 , 亚历山大·米克尔 , 贝诺?t缬氨酸 :
Unitary Sphere中的可实现性。 低收入国家 2019 : 1-13 [i1] 亚历杭德罗·迪亚斯·卡洛 , 毛里西奥·吉勒莫 , 亚历山大·米克尔 , 贝诺?t缬氨酸 :
Unitary Sphere中的可实现性。 CoRR公司 abs/1904.08785 ( 2019 ) 2018 [电子1] 斯特凡诺·贝拉迪 , 亚历山大·米克尔 :
《第七届经典逻辑与计算国际研讨会论文集》,2018年CL&C,牛津(英国),2018年7月7日。 EPTCS系统 281, 2018 [目录] 2017 [j5] 沃尔特·费雷尔·桑托斯 , 乔纳斯·弗雷 , 毛里西奥·吉勒莫 , 奥克塔维奥·马勒贝 , 亚历山大·米克尔 :
有序组合代数与可实现性。 数学。 结构。 计算。 科学。 27 ( 三 ) : 428-458 ( 2017 ) 2016 【j4】 毛里西奥·吉勒莫 , 亚历山大·米克尔 :
在经典可实现性中指定皮尔士定律。 数学。 结构。 计算。 科学。 26 ( 7 ) : 1269-1303 ( 2016 ) 2011 [j3] 亚历山大·米克尔 :
在经典可实现性和通过否定翻译的存在见证提取。 日志。 方法计算。 科学。 7 ( 2 ) ( 2011 ) [第11条] 亚历山大·米克尔 :
强制作为程序转换。 低收入国家 2011 : 197-206 [第10条] 亚历山大·米克尔 :
经典可实现性综述。 薄层色谱分析 2011 : 1-2 2010 【c9】 塞维琳·梅因高 , 文森特·巴拉特 , 理查德·布贝尔 , 雷内·哈内尔 , 亚历山大·米克尔 :
使用动态逻辑指定强制类ML程序。 FoVeOOS公司 2010 : 122-137
2000 – 2009
2009 [注2] 阿里尔·阿比塞 , 亚历山大·米克尔 , 亚历杭德罗·里奥斯 :
带构造器的lambda-calculus:语法、汇合和分离。 J.功能。 程序。 19 ( 5 ) : 581-631 ( 2009 ) 【c8】 亚历山大·米克尔 :
存在见证提取的关联经典可实现性和否定翻译。 薄层色谱分析 2009 : 188-202 2008 [j1] 圣埃芬·伦格兰 , 亚历山大·米克尔 :
经典F 欧米茄 、正交性和对称候选。 Ann.纯粹应用。 日志。 153 ( 1-3 ) : 3-20 ( 2008 ) 2007 【c7】 亚历山大·米克尔 :
构造演算中的经典程序提取。 CSL公司 2007 : 313-327 2006 【c6】 阿里尔·阿比塞 , 亚历山大·米克尔 , 亚历杭德罗·里奥斯 :
带有构造函数的Lambda-Calculus。 RTA公司 2006 : 181-196 2004 [c5] 亚历山大·米克尔 :
lamda-Z:Zermelo的集合理论是一种具有4种分类的PTS。 类型 2004 : 232-251 2003 【c4】 亚历山大·米克尔 :
IZF集理论的强规范Curry-Howard对应。 CSL公司 2003 : 441-454 2002 【c3】 亚历山大·米克尔 , 本杰明·沃纳 :
CC的不那么简单的相关证明模型。 类型 2002 : 240-258 2001 【c2】 亚历山大·米克尔 :
构造的隐式演算。 薄层色谱分析 2001 : 344-359 2000 【c1】 亚历山大·米克尔 :
实证型系统、宇宙、交集类型和子类型的模型。 低收入国家 2000 : 18-29