VIAF

Virtual International Authority File

Search

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

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

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-test: 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 National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO German National Library xR Extended Titles-test NUKAT Center of Warsaw University Library
Commentary on Standard ML National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Computing tomorrow future research directions in computer science xR Extended Titles-test National Library of the Netherlands-test National Library of the Czech Republic National Library of France Library of Congress/NACO
Definition of standard ml revised National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO xR Extended Titles-test NUKAT Center of Warsaw University Library
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 National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO xR Extended Titles-test NUKAT Center of Warsaw University Library 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)