Programming Languages and Operational Semantics: An Introduction (Paperback or S

Formal Semantics of Programming Languages, Winskel, Glynn, Excellent Book

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion

Formal Semantics of Programming Languages, Winskel, Glynn, Very Good Book

Semantics of Programming Languages: Structures and Techniques (Foundations o...

Fernndez - Programming Languages and Operational Semantics A Concis - X555z

Semantics of Programming Languages : An Elementary Introduction Using Structural

Denotational Semantics: The Scott-Strachey Approach to Programming Language...