Geodesic
Normal forms in the typed $\lambda$-calculus with tuple types
Kybernetika, Tome 21 (1985) no. 5, pp. 366-381.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Classification : 03B40 
@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},
     publisher = {mathdoc},
     volume = {21},
     number = {5},
     year = {1985},
     mrnumber = {818889},
     zbl = {0594.03005},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1985__21_5_a4/}
}
TY  - JOUR
AU  - Zlatuška, Jiří
TI  - Normal forms in the typed $\lambda$-calculus with tuple types
JO  - Kybernetika
PY  - 1985
SP  - 366
EP  - 381
VL  - 21
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KYB_1985__21_5_a4/
LA  - en
ID  - KYB_1985__21_5_a4
ER  - 
%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
Zlatuška, Jiří. Normal forms in the typed $\lambda$-calculus with tuple types. Kybernetika, Tome 21 (1985) no. 5, pp. 366-381. http://geodesic.mathdoc.fr/item/KYB_1985__21_5_a4/