馬丁·海蘭德
 |
| 馬丁·海蘭德 | |
|---|---|
 | |
| 出生 | 約翰·馬丁·艾略特·海蘭德 |
| 居住地 | 劍橋, 英國 |
| 母校 | 牛津大學 (哲學博士) |
| 網站 | www |
| 科學生涯 | |
| 研究領域 | 數學 理論計算機科學[1] |
| 機構 | 劍橋大學 |
| 論文 | 可數泛函中的遞歸理論(Recursion Theory on the Countable Functionals)（1975） |
| 博士導師 | Robin Gandy[2] |
| 博士生 | |
約翰·馬丁·艾略特·海蘭德（(John) Martin Elliott Hyland）是劍橋大學數理邏輯教授和劍橋大學國王學院研究員。他的研究興趣包括數理邏輯、範疇論和理論計算機科學。 [5]
教育
海蘭德就讀於牛津大學，於 1975 年獲得哲學博士學位[6] ，博士導師為Robin Gandy。
研究職涯
Martin Hyland 最出名的是他在應用於邏輯（證明論、遞歸論）、理論計算機科學（ λ演算和語義）和高維代數的範疇論方面的工作。 [1]他尤其以在有效拓撲（在拓撲理論內）和遊戲語義方面的工作而聞名。他指導的博士生包括Eugenia Cheng [7]和Valeria de Paiva 。
參考
- ^ 1.0 1.1 由Google學術搜索索引的馬丁·海蘭德出版物
- ^ 引用錯誤：沒有為名為
mathgene的參考文獻提供內容 - ^ 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）. （頁面存檔備份，存於互聯網檔案館）
- ^ Paiva, Valeria Correa Vaz de. The dialectica categories (PhD論文). University of Cambridge. 1988. EThOS uk.bl.ethos.315050.
- ^ Fellows of King's College. Cambridge University Reporter. 2008-10-02 [2009-07-15]. （原始內容存檔於2019-02-14）. （頁面存檔備份，存於互聯網檔案館）
- ^ Hyland, John Martin Elliot. Recursion Theory on the Countable Functionals (PhD論文). University of Oxford. 1975 [2022-09-01]. OCLC 67751639. （原始內容存檔於2020-01-26）. （頁面存檔備份，存於互聯網檔案館）
- ^ 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
.
