Abstract
In this paper, I explore the relation between methods of lexical representation involving decomposition and the theory of types as used in linguistics and programming semantics. I identify two major approaches to lexical decomposition in grammar, what I call parametric and predicative strategies. I demonstrate how expressions formed with one technique can be translated into expressions of the other. I then discuss argument selection within a type theoretic approach to semantics, and show how the predicative approach to decomposition can be modeled within a type theory with richer selectional mechanisms. In particular, I show how classic Generative Lexicon representations and operations can be viewed in terms of types and selection.