著者典拠情報

著者標目形：
Plotkin, G. (Gordon), 1946-
属性：
Personal
日付：
1946
から見よ参照形：
Plotkin, Gordon, 1946-
注記：
Semantics of data types, 1984: CIP t.p. (G. Plotkin) t.p. verso (Gordon Plotkin, Dept. of Computer Sc., Univ. of Edinburgh) data sheet (b. 9/9/46)
著者典拠ID：
DA02390584


1.

図書
図書
1. Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings (: gw)
Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
出版情報: Berlin : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 902
所蔵情報: 図書館
2.

図書
図書
2. Computational logic : essays in honor of Alan Robinson
edited by Jean-Louis Lassez and Gordon Plotkin
出版情報: Cambridge, Mass. : MIT Press, c1991
所蔵情報: 図書館
3.

図書
図書
3. Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings (: gw ; : us)
edited by G. Kahn, D.B. MacQueen, and G. Plotkin
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 173
所蔵情報: 図書館