• DML-CZ Home

Author: Zlatuška, Jiří

• Zlatuška, Jiří: Zářijový EuroTeX '92 v Praze – předběžný program. (Czech). Zpravodaj Československého sdružení uživatelů TeXu, vol. 2 (1992), issue 2, pp. 81-83
• Zlatuška, Jiří: Normal forms in the typed $\lambda$-calculus with tuple types. (English). Kybernetika, vol. 21 (1985), issue 5, pp. 366-381