
(John) Martin Elliott Hyland est professeur de logique mathématique à l'université de Cambridge et fellow du King's College de Cambridge. Ses thèmes de recherche incluent la logique mathématique, la théorie des catégories et l'informatique théorique.
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).