Full abstraction and semantic equivalence
By: Ketan Mulmuley.
Series: ACM doctoral dissertation awards ;; 1986; ACM doctoral dissertation award ;; 1986.
Publisher: MIT Press; The MIT Press
Published: 1987
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 198
Subjects: Programming languages (Electronic computers) -- Semantics.
Notes: Bibliography: p. [195]-196.
Thesis (Ph.D.)--Carnegie-Mellon University, 1985.
Includes index.