Cover Image

Full abstraction and semantic equivalence /

Bibliographic Details
Main Author: Mulmuley, Ketan
Format: Thesis Book
Language:English
Published: Cambridge, Mass. : MIT Press, [1987]
Series:ACM doctoral dissertation award ; 1986.
Subjects:
Programming languages (Electronic computers) > Semantics.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.7 .M84 1987
 
Call Number Status Get It
QA76.7 .M84 1987 Available