Full abstraction and semantic equivalence
Author(s)
Bibliographic Information
Full abstraction and semantic equivalence
(ACM doctoral dissertation awards, 1986)
MIT Press, c1987
Available at / 19 libraries
-
No Libraries matched.
- Remove all filters.
Note
Thesis (Ph.D.) -- Carnegie-Mellon University, 1985
Bibliography: p. [195]-196
Includes index