Type Theory language is extended by a new constructor to deal with types, representing circular data structures. Although this constructor was designed to model Java reference types, it is general enough to represent self-referring data in many other programming languages. Informal introduction of the new reference type constructor is followed by a set of inference rules and a proof of their consistency.