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