馬丁·海蘭德

約翰·馬丁·艾略特·海蘭德((John) Martin Elliott Hyland)是剑桥大学数理逻辑教授和剑桥大学国王学院研究员。他的研究兴趣包括数理逻辑、范畴论理论计算机科学[5]

馬丁·海蘭德
出生約翰·馬丁·艾略特·海蘭德
居住地劍橋, 英國
母校牛津大學 (哲學博士)
网站www.dpmms.cam.ac.uk/~martin/
科学生涯
研究领域數學
理論計算機科學[1]
机构劍橋大學
论文可數泛函中的遞歸理論(Recursion Theory on the Countable Functionals)(1975)
博士導師Robin Gandy[2]
博士生

教育

编辑

海兰德就讀於牛津大学,于 1975 年获得哲学博士学位[6] ,博士導師為Robin Gandy。

研究職涯

编辑

Martin Hyland 最出名的是他在应用于逻辑(证明论递归论)、理论计算机科学( λ演算语义)和高维代数的范畴论方面的工作。 [1]他尤其以在有效拓扑(在拓扑理论内)和游戏语义方面的工作而闻名。他指導的博士生包括Eugenia Cheng [7]Valeria de Paiva

参考

编辑
  1. ^ 1.0 1.1 Google学术搜索索引的馬丁·海蘭德出版物  
  2. ^ 引用错误:没有为名为mathgene的参考文献提供内容
  3. ^ Cheng, Eugenia. Higher-dimensional category theory : opetopic foundations (PDF). cheng.staff.shef.ac.uk (PhD论文) (University of Cambridge). 2002. OCLC 879393286. EThOS uk.bl.ethos.597569. (原始内容 (PDF)存档于2008-10-31). 页面存档备份,存于互联网档案馆
  4. ^ Paiva, Valeria Correa Vaz de. The dialectica categories (PhD论文). University of Cambridge. 1988. EThOS uk.bl.ethos.315050. 
  5. ^ Fellows of King's College. Cambridge University Reporter. 2008-10-02 [2009-07-15]. (原始内容存档于2019-02-14). 页面存档备份,存于互联网档案馆
  6. ^ Hyland, John Martin Elliot. Recursion Theory on the Countable Functionals (PhD论文). University of Oxford. 1975 [2022-09-01]. OCLC 67751639. (原始内容存档于2020-01-26). 页面存档备份,存于互联网档案馆
  7. ^ Cheng, Eugenia; Hyland, Martin; Power, John. Pseudo-distributive Laws. Electronic Notes in Theoretical Computer Science. 2003, 83: 227–245. ISSN 1571-0661. doi:10.1016/S1571-0661(03)50012-3 .