001.6424 / M918fa
Mulmuley, Ketan
FULL ABSTRACTION AND SEMANTIC EQUIVALENCE
/
.- Cambridge: Mit Pr., 1987
.- 198 .
.- ( Acm Doctoral Dissertation Awards, 1986
Thesis (Ph. D.) -- Carnegie-Mellon Univ., 1985
Subject Headings:
Programming Languages (Electronic Computers) -- Semantics;
Copy Details:
Acc. No.: A98440, Full Call No.: 001.6424 M918fa, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------