Melton - Mathematical Foundation of Programming Semantics Internatio - X555z

Foundations of Probabilistic Logic Programming: Languages, Semantics, Infere...

Mathematical Foundations of Programming Semantics: 7th International Conference,

Programming Language Syntax Semantics by Watt (Paperback, 1991)

Introduction to Semantics and Formalization of Logic / Rudolf Carnap

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

Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and La...

Logic Programming: Operational Semantics and Proof Theory by James H. Andrews (E