Príspevok k rozvoju a aplikácii teórie formálnej sémantiky funkčného typu na niektoré prvky moderných programovacích jazykov : Obh.11.12.1980 - Brezány, P (SVŠT v Bratislave EF, 1979)