Author: Zlatuška, Jiří

Zlatuška, Jiří: Normal forms in the typed $\lambda$-calculus with tuple types. (English). Kybernetika, vol. 21 (1985), issue 5, pp. 366-381

Partner of