Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC

Mathematical Aspects of Logic Programming Semantics by Pascal Hitzler (English)

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

Mathematical Aspects of Logic Programming Semantics - 9781138114227

Computational Semantics with Functional Programming by Jan van Eijck (English) P

Semantics by Frank Robert Palmer (English) Paperback Book

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

Logic Programming: Operational Semantics and Proof Theory by J. Andrews (English