000 00604nam a2200193Ia 4500
919 _a002206
020 _a0262132273
082 _a005.13
_bN873
100 _aMulmuley, Ketan
245 _aFull abstraction and semantic equivalence
_cby Ketan Mulmuley
260 _aCambridge
_bMIT
_c1987
300 _a198p.
490 _aACM doctoral dissertation awards 1986.
_v
690 _aProgramming language (Electronic computers)-Semantics
999 _c2206
_d2206