Mulmuley Ketan. Full abstraction and semantic equivalence. ACM doctoral dissertation awards. The MIT Press, Cambridge, Mass., and London, 1987, xv + 198 pp.
Curien, P.-L.Volume:
57
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2275459
Date:
September, 1992
File:
PDF, 407 KB
english, 1992