Martin Hyland

personne

mathématicien britannique

(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.

Martin Hyland

Propriétés

genre_personne
masculin
nationalite
Royaume-Uni
occupation
mathématicien ou mathématicienne