• DML-CZ Home
• Kybernetika
• Volume 21

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