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…