马丁·海兰德
 |
| 马丁·海兰德 | |
|---|---|
 | |
| 出生 | 约翰·马丁·艾略特·海兰德 |
| 居住地 | 剑桥, 英国 |
| 母校 | 牛津大学 (哲学博士) |
| 网站 | 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
.
