Books like Full abstraction and semantic equivalence by Ketan Mulmuley
How are these books recommended?
The books recommended for Full abstraction and semantic equivalence by Ketan Mulmuley are shaped by reader interaction. Votes on how closely books relate, user ratings, and community comments all help refine these recommendations and highlight books readers genuinely find similar in theme, ideas, and overall reading experience.
Have you read any of these books?
Your votes, ratings, and comments help improve recommendations and make it easier
for other readers to discover books they’ll enjoy.
Books similar to Full abstraction and semantic equivalence (3 similar books)
Some Other Similar Books
Modeling Complexity in Programming Languages by John C. MitchellSemantics of Programming Languages by Carol S. Shaw
Domain Theory in Logical Form by Dana Scott
Denotational Semantics: A Methodology for Language Development by Carl A. Gunter
Operational Semantics and Compiler Design by Gilles Dowek
From Algorithms to Principles of Programming by Michael J. Wirth
Logic in Computer Science: Classical and Quantitative by Michael Huth
Formal Methods in Software Engineering by John Fitzgerald and Peter Gorm Larsen