000 00537pam a2200169a 44500
008 160408b1987 xxu||||| |||| 00| 0 eng d
082 _a001.6424
_bM918fa
100 _aMulmuley, Ketan
245 1 _aFULL ABSTRACTION AND SEMANTIC EQUIVALENCE
260 _aCambridge
_bMit Pr.
_c1987
300 _a198
440 _aAcm Doctoral Dissertation Awards, 1986
_v
500 _aThesis (Ph. D.) -- Carnegie-Mellon Univ., 1985
650 _aProgramming Languages (Electronic Computers) -- Semantics
964 _gCIRC
997 _aA98440 C
999 _c301255
_d301255