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

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

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference

Foundations of Computing Ser.: Formal Semantics of Programming Languages : An...

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

The Structure of Typed Programming Languages (Foundations of Computing)

Mathematical Foundation of Programming Semantics, Lecture Notes Computer Science

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion