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
A calculus of communicating systems National Library of the Netherlands Library of Congress/NACO German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France
Commentary on Standard ML National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Communication and concurrency National Library of the Netherlands Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
Computing tomorrow : future research directions in computer science National Library of the Netherlands National Library of the Czech Republic Library of Congress/NACO National Library of France
The definition of standard ML : revised NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
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

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)