著者典拠情報

著者標目形：
Milner, Robin, 1934-
属性：
Personal
日付：
1934
から見よ参照形：
Milner, Arthur John Robin Gorell
Milner, Robin
Milner, R. (Robin)
注記：
Colloquium on Automata, Languages and Programming, 3d, University of Edinburgh, 1976. Automata, languages, and programming, c1976
sr. lctr., Dept. of Computer Sci., U. of Edinburgh; b. 1-13-34
著者典拠ID：
DA03725531


1.

図書
図書
1. The definition of standard ML : revised (alk. paper)
Robin Milner ... [et al.]
出版情報: Cambridge, Mass. : MIT Press, 1997
所蔵情報: 図書館, 研究室
2.

図書
図書
2. Communication and concurrency (: pbk)
Robin Milner
出版情報: New York ; London : Prentice Hall, 1989
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: 図書館, 研究室
3.

図書
図書
3. A calculus of communicating systems (: gw ; : us)
Robin Milner
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 92
所蔵情報: 図書館
4.

図書
図書
4. Edinburgh LCF : a mechanised logic of computation (: gw ; : us)
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
出版情報: Berlin ; New York : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 78
所蔵情報: 図書館