Full abstraction and semantic equivalence /
Mulmuley, Ketan.
Cambridge, Mass. ; London, England : MIT Press,
c1987.
Includes index.
Thesis (Ph.D.)--Carnegie-Mellon University, 1985.
Bibliography: p. [195]-196.
Programming languages (Electronic computers)