Semantic Information Processing

Semantic Information Theory

Information Structuring in Discourse: 40 (Current Research in the Semantics / Pragmatics Interface, 40)

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

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