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

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

The Formal Semantics of Programming Languages: An Introduction (Foundations ...

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

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion

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

Semantics of Programming Languages : An Elementary Introduction Using Structural

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