VIAF

Virtual International Authority File

Search

Milner, Robin, 1934-2010 National Library of the Netherlands Sudoc [ABES], France German National Library

Milner, Robin, 1934- NUKAT Center of Warsaw University Library National Library of Australia ISNI

Milner, Robin National Library of the Czech Republic National Library of France German National Library

Milner, R. (Robin), 1934-2010 Library of Congress/NACO

Robin Milner British computer scientist Wikidata

Milner, R. German National Library

VIAF ID: 10415187 (Personal)

Permalink: http://viaf.org/viaf/10415187

ISNI: 0000  0001  1559  9034 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (26)

Open Section Close SectionWorks

Title Sources
Calculus of communicating systems NUKAT Center of Warsaw University Library National Library of the Netherlands Library of Congress/NACO German National Library xR Extended Titles Sudoc [ABES], France
Commentary on Standard ML National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Computing tomorrow future research directions in computer science xR Extended Titles National Library of the Netherlands National Library of the Czech Republic National Library of France Library of Congress/NACO
Definition of standard ml revised NUKAT Center of Warsaw University Library National Library of the Netherlands Library of Congress/NACO xR Extended Titles Sudoc [ABES], France
Edinburgh LCF : a mechanised logic of computation NUKAT Center of Warsaw University Library Library of Congress/NACO
The little MLer NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
Proof, language, and interaction : essays in honour of Robin Milner Library of Congress/NACO
Semantics of concurrent computation : papers presented Sudoc [ABES], France
Space and motion of communicating agents NUKAT Center of Warsaw University Library National Library of the Netherlands Library of Congress/NACO xR Extended Titles Sudoc [ABES], France National Library of France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (5)

Open Section Close Section History of VIAF ID:10415187 (20)