馬丁·海蘭德

約翰·馬丁·艾略特·海蘭德((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 .