Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individua

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It intro

How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage?

This 1992 collection explores the syntax/semantics interface, introducing the disciplines of computational linguistics and formal semantics.

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, a