In this paper we present a type-driven interpretation approach to semantic theory. We will introduce a formalization of the notion of the speaker's references in a context, and a semantical storage mechanism for resolving the quantificational and de re/de