彼得·霍夫斯特拉
人员信息
附属: 加拿大安大略省渥太华大学数学与统计系
优化列表
2020年–今天
2021 【c4】 彼得·霍夫斯特拉 , 帕克尔 , 菲利普·斯科特 :
多态自同构和Picard群。 金融稳定与发展部 2021 : 26:1-26:17 [i1] 彼得·霍夫斯特拉 , 帕克尔 , 菲利普·斯科特 :
多态自同构和Picard群。 CoRR公司 abs/2102.11081 ( 2021 )
2010 – 2019
2018 【c3】 彼得·霍夫斯特拉 , 帕克尔 , 菲利普·斯科特 :
代数理论的各向同性。 MFPS公司 2018 : 201-217 2014 【c2】 J.罗宾B.科克特 , 彼得·霍夫斯特拉 , 帕维尔·赫鲁比斯 :
图灵范畴的总映射。 MFPS公司 2014 : 129-146 2013 [j3] 史蒂文·阿沃迪 , 彼得·霍夫斯特拉 , 迈克尔·沃伦 :
Martin-Löf复合体。 Ann.纯应用。 日志。 164 ( 10 ) : 928-956 ( 2013 ) [注2] 彼得·霍夫斯特拉 , 迈克尔·沃伦 :
类型理论的组合可实现性模型。 Ann.纯应用。 日志。 164 ( 10 ) : 957-988 ( 2013 ) 2010 【c1】 彼得·霍夫斯特拉 , J.罗宾B.科克特 :
统一理论,统一范畴。 MFPS公司 2010 : 11-33
2000 – 2009
2008 [j1] J.罗宾B.科克特 , 彼得·霍夫斯特拉 :
图灵类别简介。 Ann.纯应用。 日志。 156 ( 2-3 ) : 183-209 ( 2008 )