Title: On the relation between a type theoretic and a logical formulation of the theory of constructions