Text this: 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 :