Проценко, ВолодимирТуріна, Кирило2021-12-222021-12-222021https://ekmair.ukma.edu.ua/handle/123456789/21981Було розглянуто лямбда-числення як теоретичну модель для опису обчислень. Також було реалізовано застосунок, чиєю функцією є виконання редукції над лямбда-виразами, та проаналізовано засоби та абстракції мови Haskell, які дозволяють ефективно реалізувати модель. Застосунок підтримує завантаження зовнішніх файлів з лямбда-визначеннями та виконання лямбда-виразів у консолі.ukлямбда-численняHaskellмоделі обчисленнялямбда-виразабстракції мови Haskellбакалаврська роботаOther