TY  - BOOK
AU  - Mulmuley, Ketan
TI  - FULL ABSTRACTION AND SEMANTIC EQUIVALENCE
U1  - 001.6424 
PY  - 1987///
CY  - Cambridge
PB  - Mit Pr.
KW  - Programming Languages (Electronic Computers) -- Semantics
N1  - Thesis (Ph. D.) -- Carnegie-Mellon Univ., 1985
ER  -