This book characterizes a notion of type that covers both linguistic and non-linguistic action, and lays the foundations for a theory of action based on a Theory of Types with Records (TTR). The theory of language based on action developed in the book allows the adoption of a perspective on linguistic content centred on interaction in dialogue.