@article{KYB_1985_21_5_a4,
     author = {Zlatu\v{s}ka, Ji\v{r}{\'\i}},
     title = {Normal forms in the typed $\lambda$-calculus with tuple types},
     journal = {Kybernetika},
     pages = {366--381},
     year = {1985},
     volume = {21},
     number = {5},
     mrnumber = {818889},
     zbl = {0594.03005},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1985_21_5_a4/}
}