Semantic Information Processing

Semantic Information Theory

Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)

Computational Linguistics and Formal Semantics (Studies in Natural Language Processing)

Categorial Grammar: Logical Syntax, Semantics, and Processing (Oxford Linguistics)