Hyland, J. M. E.

Hyland, J. M. E.

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 128844868

URI de l'entité : http://www.idref.fr/128844868/id

Notice de type Personne

Point d'accès autorisé

Hyland, J. M. E.

Sur le web

Variantes de point d'accès

Hyland, John Martin Elliott

[Nom de personne]

Hyland, Martin

[Nom de personne]

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : anglais

Pays : Royaume-Uni de Grande-Bretagne et d'Irlande du Nord

Genre : Masculin

Notes

Note publique d'information :

Mathématicien. Fellow of King's College, Professor of Mathematical Logic, Department of pure mathematics and mathematical statistics, University of Cambridge, GB (2017). Président de jury pour une thèse en Mathématiques et informatique soutenue à Grenoble Alpes en 2018

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/164384846

Identifiant Wikidata : Q6775742

Identifiant ZBMath : hyland.j-martin-e

Identifiant Wikipédia : https://fr.wikipedia.org/wiki/Martin_Hyland

Identifiant SCOPUS : 7006527289

Identifiant ISNI : 000000011717446X

Source

Catégories et diagrammes de cordes pour les jeux concurrents / Clovis Eberhart ; sous la direction de Tom Hirschowitz.These de doctorat : Mathématiques et informatique : Grenoble Alpes : 2018

Information trouvée : En poste à l'Université de Cambridge (Royaume-Uni) en 2018

Logic colloquium 76, proceedings of a conference held in Oxford in july 1976 / edited by R. O. Gandy et J. M. E. Hyland, 1977

http://copac.jisc.ac.uk/, 2017-05-17

Information trouvée : Hyland, John Martin Elliott (forme rejetée)

https://www.dpmms.cam.ac.uk/people/jmeh1/, 2017-05-17

Information trouvée : Professor Martin Hyland (forme rejetée). Professor of Mathematical Logic, Department of pure mathematics and mathematical statistics, University of Cambridge

https://www.dpmms.cam.ac.uk/~martin/, 2017-05-17

Information trouvée : J. M. E. Hyland

Source consultée en vain : http://authorities.loc.gov, 2017-05-17

... Références liées : ...