APA (7th ed.) Citation

Smith, J. (1978). On the relation between a type theoretic and a logical formulation of the theory of constructions.

Chicago Style (17th ed.) Citation

Smith, Jan. On the Relation Between a Type Theoretic and a Logical Formulation of the Theory of Constructions. 1978.

MLA (9th ed.) Citation

Smith, Jan. On the Relation Between a Type Theoretic and a Logical Formulation of the Theory of Constructions. 1978.

Warning: These citations may not always be 100% accurate.