著者典拠情報

標目形：
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


 close
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
所蔵情報: loading…
2.

図書
図書
2. Logical environments
edited by Gérard Huet, Gordon Plotkin
出版情報: Cambridge : Cambridge University Press, 1993
所蔵情報: loading…
3.

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

図書
図書
4. Situation theory and its applications (v. 1 - v. 3 : pbk)
edited by Robin Cooper, Kuniaki Mukai, and John Perry
出版情報: Stanford, CA : Center for the Study of Language and Information, c1990-
シリーズ名: CSLI lecture notes ; no. 22, 26, 37
所蔵情報: loading…
5.

図書
図書
5. 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
所蔵情報: loading…