%0 Journal Article
%A Zlatuška, Jiří
%T Normal forms in the typed $\lambda$-calculus with tuple types
%J Kybernetika
%D 1985
%P 366-381
%V 21
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1985__21_5_a4/
%G en
%F KYB_1985__21_5_a4