%0 Journal Article
%A S. R. Kogalovskii
%T On semantics of the theory of types
%J Izvestiâ vysših učebnyh zavedenij. Matematika
%D 1966
%P 89-98
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IVM_1966_1_a10/
%G ru
%F IVM_1966_1_a10