Full abstraction and semantic equivalence
Mulmuley, Ketan
Full abstraction and semantic equivalence by Ketan Mulmuley - Cambridge MIT 1987 - 198p. - ACM doctoral dissertation awards 1986. .
0262132273
005.13 / N873
Full abstraction and semantic equivalence by Ketan Mulmuley - Cambridge MIT 1987 - 198p. - ACM doctoral dissertation awards 1986. .
0262132273
005.13 / N873