著者典拠情報

標目形：
Gordon, Michael J. C., 1948-
属性：
Personal
日付：
1948-
注記：
His The denotational description of programming languages, c1979: t.p. (Michael J. C. Gordon) CIP data sheet (b. 2/28/48)
His Programming language theory and its implementation, c1988: t.p.(Computer Laboratory, University of Cambridge and SRI International)
著者典拠ID：
DA03224398


1.

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

図書
図書
2. The denotational description of programming languages : an introduction (: us ; : gw)
Michael J.C. Gordon
出版情報: New York ; Berlin : Springer-Verlag, c1979
所蔵情報: loading…