
約翰·馬丁·艾略特·海蘭德((John) Martin Elliott Hyland)是剑桥大学数理逻辑教授和剑桥大学国王学院研究员。他的研究兴趣包括数理逻辑、范畴论和理论计算机科学。
Abstract from DBpedia / Wikipedia · CC BY-SA
via MusicBrainz · CC0
5 total works indexed
· 2015 · cited 73,129x
· 1997 · cited 47,722x
· 2021 · cited 41,537x
· 1986 · cited 37,526x
· 2000 · cited 36,306x
via Crossref · CC0
via Wikidata · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).