Milner, Robin (1934-2010)

Milner, Robin (1934-2010)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 034037535

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

Notice de type Personne

Point d'accès autorisé

Milner, Robin (1934-2010)

Sur le web

Variantes de point d'accès

Milner, Arthur John Robin Gorell

[Nom de personne]

Milner, Arthur J.

[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

Date de naissance : 13 / 01 / 1934

Date de mort : 20 / 03 / 2010

Genre : Masculin

Notes

Note publique d'information :

Spécialiste en informatique. En poste au Department of computer science, University of Edinburgh, GB (en 1989). Elu, le 21 juin 2005, associé étranger dans la Section des sciences mécaniques et informatiques, Académie des sciences (Paris)

Identifiants externes

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

Identifiant Wikidata : Q92643

Identifiant ZBMath : milner.robin

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

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb12483422x

Identifiant ISNI : 0000000115599034

Source

Communication and concurrency / Robin Milner, 1989

Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth, 1979

Information trouvée : Milner, Arthur J.

Lettre d'information - Institut de France, 3-9 mai 2010

Information trouvée : Décédé le 20 mars 2010 à l'âge de 76 ans

http://id.loc.gov/authorities/names/n79133739, [LC Name Authority Files], 2017-03-27

Information trouvée : Milner, Arthur John Robin Gorell, 1934-2010

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