Documentation Documentation
Identifiant IdRef : 034037535
Notice de type Personne

Point d'accès autorisé

Milner, Robin (1934-2010)

Variantes de point d'accès

Milner, Arthur John Robin Gorell (1934-2010)
[Nom de personne]
Milner, Arthur J.
[Nom de personne]

Information

Langue d'expression : Anglais
Pays : Royaume-Uni
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)

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.

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

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

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

Autres identifiants

Identifiant BNF : FRBNF124834228

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

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