保罗·泰勒 0002
人员信息
附属: 英国曼彻斯特大学
其他同名人员
优化列表
2010 – 2019
2011 [j5] 彼得·罗利 , 保罗·泰勒 :
Janko单群的对合 J型 4 . LMS J.计算。 数学。 14 : 238-253 ( 2011 ) 2010 【j4】 彼得·罗利 , 保罗·泰勒 :
黑盒组中2个子组的归一化器。 LMS J.计算。 数学。 13 : 307-319 ( 2010 )
2000 – 2009
2009 [j3] 安德烈·鲍尔 , 保罗·泰勒 :
Dedekind现实是抽象的石头二元性。 数学。 结构。 计算。 科学。 19 ( 4 ) : 757-838 ( 2009 ) 2006 [注2] 保罗·泰勒 :
基于可计算的局部紧空间。 日志。 方法计算。 科学。 2 ( 1 ) ( 2006 ) 2005 【c7】 安德烈·鲍尔 , 保罗·泰勒 :
抽象石头二重性中的德德金王国。 CCA公司 2005 : 25-64 【c6】 保罗·泰勒 :
实分析的Lambda微积分。 CCA公司 2005 : 227-266 2004 【c5】 保罗·泰勒 :
在抽象石头二元性的每个模型中都有一个算术宇宙。 CTCS公司 2004 : 247-296 2002 【c4】 保罗·泰勒 :
抽象Stone对偶中的局部紧性和Baire范畴定理。 CTCS公司 2002 : 323-345
1990 – 1999
1996 [j1] 保罗·泰勒 :
直觉集和序数。 J.塞姆。 日志。 61 ( 三 ) : 705-744 ( 1996 ) 1991 【c3】 保罗·泰勒 :
合成域理论中的不动点性质。 低收入国家 1991 : 152-160
1980 – 1989
1989 【c2】 保罗·泰勒 :
数量域、群胚和线性逻辑。 范畴理论与计算机科学 1989 : 155-181 1985 【c1】 保罗·泰勒 :
域类别的内部完整性。 CTCS公司 1985 : 449-465