%0 Journal Article
%A Gilezan Silvija
%T A note on typed 

 combinators and typed lambda terms
%J Novi Sad Journal of Mathematics
%D 1993
%P 319-329
%V 23
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/NSJOM_1993_23_1a_26/
%F NSJOM_1993_23_1a_26