The relation between syntax and semantics of natural language can be regarded as a constraint. With the ideas from Channel Theory (Barwise 1993, Barwise and Seligman 1994), the way that an utterance represents a situation can be captured as a linguistic channel. To study the operational aspects of such a channel, we construct it as a system of communicating processes by turning to the -calculus...
